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

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

მიერ Yassine Lakhnech
3/5
პირველად გამოქვეყნდა
2004
გამომცემლები
Springer London· Limited

წიგნები

მსგავსი წიგნები