Joost-Pieter Katoen · 10 obras en el catálogoObrasCONCUR 2011 – Concurrency TheoryValidation of stochastic systemsFormal Methods for Real-Time and Probabilistic SystemsModelEd, TestEd, TrustEdLLectures on Formal Methods and Performance AnalysisLectures on Formal Methods and Performance AnalysisMModel-Based Testing of Reactive SystemsModel-Based Testing of Reactive SystemsTTools and Algorithms for the Construction and Analysis of SyTools and Algorithms for the Construction and Analysis of SystemsDDependable Software Engineering. Theories, Tools, and ApplicDependable Software Engineering. Theories, Tools, and ApplicationsFFoundations of Probabilistic ProgrammingFoundations of Probabilistic ProgrammingFFormal MethodsFormal Methods
LLectures on Formal Methods and Performance AnalysisLectures on Formal Methods and Performance Analysis
TTools and Algorithms for the Construction and Analysis of SyTools and Algorithms for the Construction and Analysis of Systems
DDependable Software Engineering. Theories, Tools, and ApplicDependable Software Engineering. Theories, Tools, and Applications
