Stefan Leue
Stefan Leue
3 ספרים במאגר
ספרים
Model checking softwareStefan Leue
Model checking software
Stefan Leue · 2002
Formal Methods for Industrial Critical SystemsStefan Leue
Formal Methods for Industrial Critical Systems
Stefan Leue · 2008
Scenarios : Models, Transformations and ToolsStefan Leue
Scenarios : Models, Transformations and Tools
Stefan Leue · 2005
ספרים משותפים ואוספים
ספרים שבהם Stefan Leue מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.