Formal Methods for Real-Time and Probabilistic Systemsde Joost-Pieter KatoenMateriasLogic designLogics and Meanings of ProgramsComputer scienceSoftware engineeringProgramming Languages, Compilers, InterpretersComputer Communication NetworksSpecial Purpose and Application-Based SystemsEdiciones (1)Formal Methods for Real-Time and Probabilistic Systems (1999)
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
