Joost-Pieter Katoen
A list of authors with biographies, life dates, and future collections of all their books.
Author's Books
10
Dependable Software Engineering. Theories, Tools, and Applications
Model-Based Testing of Reactive Systems
Lectures on Formal Methods and Performance Analysis
Formal Methods
Validation of stochastic systems
Formal Methods for Real-Time and Probabilistic Systems
ModelEd, TestEd, TrustEd
CONCUR 2011 – Concurrency Theory
Foundations of Probabilistic Programming
