Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

Livres

Livres similaires