Search

You searched for: Auteur Martin Leucker Remove constraint Auteur: Martin Leucker
1 - 7 of 7
Number of results to display per page

Search Results

1. Runtime Verification
thumbnail
Full text!
Author:
Colombo; Martin Leucker; Leucker, Martin
Publisher:
Springer International Publishing 2018
Format:
e-book
2. Formal Methods in Outer Space : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
thumbnail
Full text!
Author:
Bartocci, Ezio; Falcone, Yliès; Leucker, Martin
Publisher:
Springer 2021
Format:
e-book
3. Runtime Verification
thumbnail
Full text!
Author:
Leucker, Martin; Kanade, Takeo; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2008
Format:
e-book
4. Formal Methods : 25th International Symposium, FM 2023, lübeck, Germany, March 6-10, 2023, Proceedings
thumbnail
Full text!
Author:
Chechik, Marsha.; Katoen, Joost-Pieter; Leucker, Martin
Publisher:
Cham Springer International Publishing AG 2023
Format:
e-book
5. Theoretical Aspects of Computing - ICTAC 2009
thumbnail
Full text!
Author:
Leucker, Martin; Kanade, Takeo; Morgan, Carroll; Kittler, Josef; Morgan, Charles Carroll
Publisher:
Springer Berlin Heidelberg 2009
Format:
e-book
6. Model-Based Testing of Reactive Systems
thumbnail
Full text!
Author:
Hutchison, David; Broy, M.; Kanade, Takeo; Jonsson, Bengt; Katoen, Joost-Pieter; Leucker, Martin; Pretschner, Alexander
Publisher:
Springer Berlin / Heidelberg 2005
Format:
e-book
7. Formal Methods: Applications and Technology
thumbnail
Full text!
Author:
Brim, Luboš; Haverkort, Boudewijn; Haverkort, Boudewijn R.; Leucker, Martin; Pol, Jaco; Pol, J. van den; Pol, Jaco van de
Publisher:
Springer Berlin Heidelberg 2007
Format:
e-book