Laurent Fribourg

Laurent Fribourg

2 ספרים במאגר

ספרים

Computer Science LogicLaurent Fribourg

Computer Science Logic

Laurent Fribourg · 2001

Control of Switching Systems by Invariance AnalysisLaurent Fribourg

Control of Switching Systems by Invariance Analysis

Laurent Fribourg · 2013

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

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

Formal Modeling and Analysis of Timed SystemsVctor Braberman

Formal Modeling and Analysis of Timed Systems

Vctor Braberman · 2013