Formal Modeling and Analysis of Timed Systems

Format:: e-book
Title:: Formal Modeling and Analysis of Timed Systems
Author:: Abate; Geeraerts, Gilles
Language:: English
Publisher:: Springer International Publishing 2017
ISBN:: 3-319-65764-X
3-319-65765-8
Permalink:: http://bibtest.howest.be/catalog/ebk03:3710000001631265?locale=en