Formal Modeling and Analysis of Timed Systems
53.49 EUR
Ein Sammelband, der die neuesten Erkenntnisse der FORMATS‑Konferenz 2017 in Berlin bündelt, bietet detaillierte Modelle und Analyseverfahren für zeitkritische Systeme sowie praxisnahe Fallstudien aus Echtzeit- und eingebetteten Anwendungen.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
SpringerLink DE
Gesponsert
Galaxus.de
Formal Modeling and Analysis of Timed Systems, Fachbücher von Alessandro Abate, Gilles Geeraerts
Galaxus.de
13-05-2026 12:43:09
