J

Joost-Pieter Katoen

10 books found

Books by Joost-Pieter Katoen
Formal Methods for Real-Time and Probabilistic SystemsJoost-Pieter Katoen

Formal Methods for Real-Time and Probabilistic Systems

Joost-Pieter Katoen

1999No page data
CONCUR 2011 – Concurrency TheoryJoost-Pieter Katoen

CONCUR 2011 – Concurrency Theory

Joost-Pieter Katoen

2011No page data
Tools and Algorithms for the Construction and Analysis of SystemsJoost-Pieter Katoen
⏱ 8h 6m

Tools and Algorithms for the Construction and Analysis of Systems

Joost-Pieter Katoen

2003486 pp.
Foundations of Probabilistic ProgrammingGilles Barthe

Foundations of Probabilistic Programming

Gilles Barthe

2020No page data
Dependable Software Engineering. Theories, Tools, and ApplicationsNan Guan

Dependable Software Engineering. Theories, Tools, and Applications

Nan Guan

2019No page data
Lectures on Formal Methods and Performance AnalysisEd Brinksma
⏱ 7h 14m

Lectures on Formal Methods and Performance Analysis

Ed Brinksma

2001434 pp.
Formal MethodsMarsha Chechik

Formal Methods

Marsha Chechik

2023No page data
ModelEd, TestEd, TrustEdJoost-Pieter Katoen
⏱ 6h 43m

ModelEd, TestEd, TrustEd

Joost-Pieter Katoen

2017403 pp.
Validation of stochastic systemsChristel Baier
⏱ 7h 50m

Validation of stochastic systems

Christel Baier

2004470 pp.
Model-Based Testing of Reactive SystemsManfred Broy
⏱ 11h 4m

Model-Based Testing of Reactive Systems

Manfred Broy

2005664 pp.