Formal Evolutionary Development of Low-Entropy Dendritic Thermal Systems
Journal of Thermophysics and Heat Transfer ; 23 , 4 ; 822-827
2009-10-01
6 pages
Aufsatz (Zeitschrift)
Elektronische Ressource
Englisch
Evolutionary development of C3I systems
Tema Archiv | 1984
|Formal development of software in railways safety critical systems
British Library Conference Proceedings | 1994
|Development Process Improvement by Means of Formal and Semi-Formal Methods
British Library Conference Proceedings | 2000
|Formal verification for model-based development
Kraftfahrwesen | 2005
|Formal verification in model based development
Kraftfahrwesen | 2015
|