Home > Authors > Yassine Lakhnech > Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

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

Yassine Lakhnech, Sergio Yovine

Recent activity

Rate this book to see your activity here.

1 Book Similar to Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems by Yassine Lakhnech

Bookscovery readers who liked Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems also like Concurrency verification. How many of these have you read?

Concurrency verification by W.-P. de Roever

I liked it Liked it

I didn't like it Didn't like

Want to read Want to read

Not interested Not for me

Review book

More books like this

Buy this book at:

Bookshop.org Amazon

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

Please sign in to leave a comment