Joost-Pieter Katoen
Joost-Pieter Katoen
4 ספרים במאגר
ספרים
CONCUR 2011 – Concurrency TheoryJoost-Pieter Katoen
CONCUR 2011 – Concurrency Theory
Joost-Pieter Katoen · 2011
Formal Methods for Real-Time and Probabilistic SystemsJoost-Pieter Katoen
Formal Methods for Real-Time and Probabilistic Systems
Joost-Pieter Katoen · 1999
ModelEd, TestEd, TrustEdJoost-Pieter Katoen
ModelEd, TestEd, TrustEd
Joost-Pieter Katoen · 2017
Tools and Algorithms for the Construction and Analysis of SystemsJoost-Pieter Katoen
Tools and Algorithms for the Construction and Analysis of Systems
Joost-Pieter Katoen · 2003
ספרים משותפים ואוספים
ספרים שבהם Joost-Pieter Katoen מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
Validation of stochastic systemsChristel Baier
Validation of stochastic systems
Christel Baier · 2004
Dependable Software Engineering. Theories, Tools, and ApplicationsNan Guan
Dependable Software Engineering. Theories, Tools, and Applications
Nan Guan · 2023
Formal MethodsMarsha Chechik
Formal Methods
Marsha Chechik · 2023
Foundations of Probabilistic ProgrammingGilles Barthe
Foundations of Probabilistic Programming
Gilles Barthe · 2020
Model-Based Testing of Reactive SystemsManfred Broy
Model-Based Testing of Reactive Systems
Manfred Broy · 2005
Lectures on Formal Methods and Performance AnalysisEd Brinksma
Lectures on Formal Methods and Performance Analysis
Ed Brinksma · 2003