"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of " - читать интересную книгу автора (Yassine Lakhnech, Sergio Yovine)