Concepedia
Futures · 1978 · 425 citations · 0 references
System Of SystemSystems AnalysisEngineeringProgram AnalysisFormal MethodsSoftware AnalysisSystems EngineeringSystem CharacteristicFormal Verification