Yassine Lakhnech

Yassine Lakhnech

1 books in the database

Books

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant SystemsYassine Lakhnech

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

Yassine Lakhnech · 2004

Co-authored books and collections

Books that list Yassine Lakhnech among their authors but not as the lead author: co-written works, collections and compilations.

From Programs to Systems - The Systems Perspective in ComputingSaddek Bensalem

From Programs to Systems - The Systems Perspective in Computing

Saddek Bensalem · 2014