Joost-Pieter Katoen
Author detail
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
Overview
Catalog identity and bibliographic footprint for this author.
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryMT
ModelEd, TestEd, TrustEd
cover - Image source: Open LibraryC2
CONCUR 2011 – Concurrency Theory
cover - Image source: Open LibraryPO
Principles of model checking
cover - Image source: Open LibraryVO
Validation of stochastic systems
cover - Image source: Open LibraryFM
Formal Methods for Real-Time and Probabilistic Systems
cover - DSDependable Software Engineering...Joost-Pieter Katoen
Dependable Software Engineering. Theories, Tools, and Applications
no cover - FMFormal MethodsJoost-Pieter Katoen
Formal Methods
no cover - FOFoundations of Probabilistic Pr...Joost-Pieter Katoen
Foundations of Probabilistic Programming
no cover - MTModel-Based Testing of Reactive...Joost-Pieter Katoen
Model-Based Testing of Reactive Systems
no cover - LOLectures on Formal Methods and...Joost-Pieter Katoen
Lectures on Formal Methods and Performance Analysis
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
ModelEd, TestEd, TrustEd
- Open Work
CONCUR 2011 – Concurrency Theory
- Open Work
Principles of model checking
- Open Work
Validation of stochastic systems
- Open Work
Formal Methods for Real-Time and Probabilistic Systems
- Open Work
Dependable Software Engineering. Theories, Tools, and Applications
- Open Work
Formal Methods
- Open Work
Foundations of Probabilistic Programming
- Open Work
Model-Based Testing of Reactive Systems
- Open Work
Lectures on Formal Methods and Performance Analysis