Martin Leucker
Martin Leucker
3 ספרים במאגר
ספרים
Theoretical Aspects of Computing - ICTAC 2015Martin Leucker
Theoretical Aspects of Computing - ICTAC 2015
Martin Leucker · 2015
Theoretical Aspects of Computing - ICTAC 2009Martin Leucker
Theoretical Aspects of Computing - ICTAC 2009
Martin Leucker · 2009
Runtime VerificationMartin Leucker
Runtime Verification
Martin Leucker · 2008
ספרים משותפים ואוספים
ספרים שבהם Martin Leucker מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
Formal MethodsMarsha Chechik
Formal Methods
Marsha Chechik · 2023
Formal Methods in Outer SpaceEzio Bartocci
Formal Methods in Outer Space
Ezio Bartocci · 2021
Formal Methods : Applications and TechnologyLubos Brim
Formal Methods : Applications and Technology
Lubos Brim · 2007
Model-Based Testing of Reactive SystemsManfred Broy
Model-Based Testing of Reactive Systems
Manfred Broy · 2005