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

Formal Techniques, Modeling And Analysis Of Timed And Fault-Tolerant Systems ...

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Sys

Yassine Lakhnec Formal Techniques, Modelling and Analysi (Paperback) (UK IMPORT)

Formal Modeling and Analysis of Timed Systems - 9783030576271

Formal Modeling and Analysis of Timed Systems - 9783030001506

Formal Modeling and Analysis of Timed Systems : 10th International Conference...

Formal Modeling And Analysis of Timed Systems : Third International Conferenc...