Formal Methods for Intelligent Systems Design and Control
2018 AIAA Information Systems-AIAA Infotech @ Aerospace
01.01.2018
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Formal Methods for Intelligent Systems Design and Control (AIAA 2018-1368)
British Library Conference Proceedings | 2018
|Survey of Formal Methods for Intelligent Swarms
NTIS | 2004
|Semi-formal design methods for functional modelling of climate control systems
British Library Conference Proceedings | 1998
|Formal methods for control of nonlinear systems
TIBKAT | 2023
|