Formal Methods for Industrial Critical Systems
53.49 EUR
Der Band fasst die neuesten Erkenntnisse des FMICS‑Workshops in Berlin zusammen, zeigt innovative Techniken zur formalen Verifikation kritischer Systeme und diskutiert deren praktische Umsetzung in der Industrie.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE 
SpringerLink DE
Gesponsert
Galaxus.de
Formal Methods for Industrial Critical Systems, Fachbücher von Pedro Merino, Stefan Leue
Galaxus.de
26-04-2026 00:13:18
