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

Китептер

Окшош китептер