Publication | Closed Access
Conversion of STOPP/START version 2 into coded algorithms for software implementation: A multidisciplinary consensus procedure
44
Citations
22
References
2018
Year
Software MaintenanceEngineeringSoftware EngineeringSoftware AnalysisFormal VerificationSystems EngineeringProgram TransformationMultidisciplinary Consensus ProcedureSoftware ImplementationComputer ScienceOptimizing CompilerSoftware DesignStopp/start Version 2Program AnalysisSoftware TestingFormal MethodsProgram SynthesisParallel ProgrammingProgramming MethodologySymbolic ExecutionSystem Software
| Year | Citations | |
|---|---|---|
Page 1
Page 1