Formal Methods for Industrial Critical Systems
Der Sammelband aus dem FMICS‑Workshop 2013 in Madrid bietet aktuelle Forschung zu formalen Methoden für kritische Systeme, verbindet theoretische Erkenntnisse mit praktischen Fallstudien und fördert den interdisziplinären Austausch.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Hugendubel
Gesponsert
Galaxus.de
Formal Methods for Industrial Critical Systems, Fachbücher von Charles Pecheur, Michael Dierkes
Galaxus.de
09-10-2026 03:51:59
Medimops DE 
SpringerLink DE 
