Joost-Pieter Katoen
Eine Liste von Autoren mit Biografien, Lebensdaten und späteren Sammlungen aller Bücher.
Bücher des Autors
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
