Search

You searched for: Auteur Katoen Remove constraint Auteur: Katoen
1 - 5 of 5
Number of results to display per page

Search Results

1. CONCUR 2011 – Concurrency Theory
thumbnail
Full text!
Author:
Katoen, Joost-Pieter; König, Barbara
Publisher:
Springer Berlin Heidelberg 2011
Format:
e-book
2. ModelEd, TestEd, TrustEd
thumbnail
Full text!
Author:
Katoen; Langerak, Rom; Rensink, Arend
Publisher:
Springer International Publishing 2017
Format:
e-book
3. Dependable Software Engineering. Theories, Tools, and Applications
thumbnail
Full text!
Author:
Guan; Katoen, Joost-Pieter; Sun, Jun
Publisher:
Springer International Publishing 2019
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. 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