Formal Modeling and Analysis of Timed Systems

Format:: e-book
Title:: Formal Modeling and Analysis of Timed Systems
Author:: Sankaranarayanan; Vicario, Enrico
Language:: English
Publisher:: Springer International Publishing 2015
ISBN:: 3-319-22974-5
3-319-22975-3
Permalink:: http://bibtest.howest.be/catalog/ebk03:3890000000001363?locale=en