Semi-formal design methods for functional modelling of climate control systems
Tagung, Elektronik im Kraftfahrzeug ; 1998 ; Baden-Baden; Germany
01.01.1998
10 pages
Text in German or English
Aufsatz (Konferenz)
Deutsch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Development Process Improvement by Means of Formal and Semi-Formal Methods
British Library Conference Proceedings | 2000
|Formal Methods for Intelligent Systems Design and Control (AIAA 2018-1368)
British Library Conference Proceedings | 2018
|Formal methods for control of nonlinear systems
TIBKAT | 2023
|