Jean-Francois Raskin

Jean-Francois Raskin

1 ספרים במאגר

ספרים

Formal modeling and analysis of timed systemsJean-Francois Raskin

Formal modeling and analysis of timed systems

Jean-Francois Raskin · 2007

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

ספרים שבהם Jean-Francois Raskin מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Automated Technology for Verification and AnalysisFranck Cassez

Automated Technology for Verification and Analysis

Franck Cassez · 2014