bib.howest.be Zoekresultaten

U zocht naar: Auteur Martin Leucker

1 - 7 van 7

1. Runtime Verification

Auteur:: Colombo; Martin Leucker; Leucker, Martin
Uitgever:: Springer International Publishing 2018
Type:: e-book

2. Formal Methods in Outer Space : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

Auteur:: Bartocci, Ezio; Falcone, Yliès; Leucker, Martin
Uitgever:: Springer 2021
Type:: e-book

3. Runtime Verification

Auteur:: Leucker, Martin; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

4. Formal Methods : 25th International Symposium, FM 2023, lübeck, Germany, March 6-10, 2023, Proceedings

Auteur:: Chechik, Marsha.; Katoen, Joost-Pieter; Leucker, Martin
Uitgever:: Cham Springer International Publishing AG 2023
Type:: e-book

5. Theoretical Aspects of Computing - ICTAC 2009

Auteur:: Leucker, Martin; Kanade, Takeo; Morgan, Carroll; Kittler, Josef; Morgan, Charles Carroll
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

6. Model-Based Testing of Reactive Systems

Auteur:: Hutchison, David; Broy, M.; Kanade, Takeo; Jonsson, Bengt; Katoen, Joost-Pieter; Leucker, Martin; Pretschner, Alexander
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

7. Formal Methods: Applications and Technology

Auteur:: Brim, LuboÅ¡; Haverkort, Boudewijn; Haverkort, Boudewijn R.; Leucker, Martin; Pol, Jaco; Pol, J. van den; Pol, Jaco van de
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book