Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin,
74.97 CHF
Versandkostenfrei
Lieferzeit: 7-14 Werktage
- Artikel-Nr.: 10461117
Beschreibung
Hybrid systems.- Probabilistic models.- Quantitative logics and monitoring.- Reachability Analysis.- Testing and simulation.
Eigenschaften
Breite: | 155 |
Gewicht: | 572 g |
Höhe: | 234 |
Länge: | 19 |
Seiten: | 353 |
Sprachen: | Englisch |
Autor: | Alessandro Abate, Gilles Geeraerts |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen