Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings
53.49 EUR
Ein umfassendes Sammelwerk aus der 14. FORMATS-Konferenz, das fortschrittliche Techniken zur Modellierung zeitabhängiger Systeme vorstellt; theoretische Grundlagen, neue Algorithmen und praxisnahe Anwendungen werden detailliert erläutert.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
SpringerLink DE
Gesponsert
Galaxus.de
Formal Modeling and Analysis of Timed Systems, Fachbücher von Martin Fränzle, Nicolas Markey
Galaxus.de
29-05-2026 16:04:43
