Semi-formal design methods for functional modelling of climate control systems
Tagung, Elektronik im Kraftfahrzeug ; 1998 ; Baden-Baden; Germany
1998-01-01
10 pages
Text in German or English
Conference paper
German
© 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 and architectural aspects of modelling, the case of a semi-trailer
British Library Conference Proceedings | 1997
|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
|