Formal Modeling and Analysis of Timed Systems

Full text!
Type:
e-book
Titel:
Formal Modeling and Analysis of Timed Systems
Auteur:
Abate; Geeraerts, Gilles
Taal:
Engels
Uitgever:
Springer International Publishing 2017
ISBN:
3-319-65764-X
3-319-65765-8
Permalink:
http://bibtest.howest.be/catalog/ebk03:3710000001631265