👤

Joost-Pieter Katoen

6 books

Books by Joost-Pieter Katoen

Foundations of Probabilistic P
Foundations of Probabilistic Programming
2020
ModelEd, TestEd, TrustEd
ModelEd, TestEd, TrustEd
2017
CONCUR 2011 – Concurrency Theory
CONCUR 2011 – Concurrency Theory
2011
Model-Based Testing of Reactive Systems
Model-Based Testing of Reactive Systems
2005
Validation of stochastic systems
Validation of stochastic systems
2004
Lectures on Formal Methods and
Lectures on Formal Methods and Performance Analysis
2001