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 (United States) EAN=ISBN-13: 978-3-662-20887-8 ISBN-10: 3-662-20887-3 Springer · 2014