Yassine Lakhnech

Yassine Lakhnech

1 ספרים במאגר

ספרים

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

ספרים משותפים ואוספים

ספרים שבהם Yassine Lakhnech מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

From Programs to Systems - The Systems Perspective in ComputingSaddek Bensalem

From Programs to Systems - The Systems Perspective in Computing

Saddek Bensalem · 2014