M

Martin Leucker

9 books found

Books by Martin Leucker
Runtime VerificationMartin Leucker
⏱ 8h 4m

Runtime Verification

Martin Leucker

2008484 pp.
Logics for Mazurkiewicz tracesMartin Leucker
⏱ 2h 56m

Logics for Mazurkiewicz traces

Martin Leucker

2002176 pp.
Theoretical Aspects of Computing - ICTAC 2009Martin Leucker

Theoretical Aspects of Computing - ICTAC 2009

Martin Leucker

2009No page data
Theoretical Aspects of Computing - ICTAC 2015Martin Leucker
⏱ 10h 32m

Theoretical Aspects of Computing - ICTAC 2015

Martin Leucker

2015632 pp.
Formal Methods in Outer SpaceEzio Bartocci

Formal Methods in Outer Space

Ezio Bartocci

2021No page data
Formal MethodsLubos Brim,Martin Leucker,Boudewijn Haverkort

Formal Methods

Lubos Brim,Martin Leucker,Boudewijn Haverkort

2008No page data
Formal MethodsMarsha Chechik

Formal Methods

Marsha Chechik

2023No page data
Formal Methods : Applications and TechnologyLubos Brim

Formal Methods : Applications and Technology

Lubos Brim

2007No page data
Model-Based Testing of Reactive SystemsManfred Broy
⏱ 11h 4m

Model-Based Testing of Reactive Systems

Manfred Broy

2005664 pp.