Formal Modeling and Analysis of Timed Systems
53.49 EUR
Ein kompakter Leitfaden zu zeitgesteuerten Systemen: 321 Seiten aus der 13. FORMATS-Konferenz, die neueste Theorie und praktische Anwendungen für Echtzeitmodelle zusammenführt.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
SpringerLink DE
Gesponsert
Galaxus.de
Formal Modeling and Analysis of Timed Systems, Fachbücher von Enrico Vicario, Sriram Sankaranarayanan
Galaxus.de
03-05-2026 07:15:44
