Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings - Softcover

 
9783030296636: Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings
Softcover
ISBN 10: 3030296636 ISBN 13: 9783030296636
Verlag: Springer, 2019

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

Special Session on Data-driven and Stochastic Approaches to Real-time, including Monitoring and Big Data.- Timed systems.- Linear and Non-linear Systems.- Timed Automata.- Special Session on Timed Systems and Probabilities.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2019
Sprache
Englisch
ISBN 10 
3030296636
ISBN 13 
9783030296636
Einband
Paperback
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

Weitere beliebte Ausgaben desselben Titels

9783030296612: Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, ... Computer Science and General Issues)

Vorgestellte Ausgabe

ISBN 10:  303029661X ISBN 13:  9783030296612
Verlag: Springer, 2019
Softcover