Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of ... and Fault-Tolerant Systems, FTRT
von:
Yassine Lakhnech
·
Sergio Yovine
Taschenbuch
Details (
USA
)
EAN=ISBN-13: 978-3-662-20887-8
ISBN-10: 3-662-20887-3
Springer
· 2014