Formal Evolutionary Development of Low-Entropy Dendritic Thermal Systems
Journal of Thermophysics and Heat Transfer ; 23 , 4 ; 822-827
2009-10-01
6 pages
Article (Journal)
Electronic Resource
English
Evolutionary development of C3I systems
Tema Archive | 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
Automotive engineering | 2005
|Formal verification in model based development
Automotive engineering | 2015
|