Title: Formal Methods for Real-Time and Probabilistic Systems
Subjects: Logic design, Logics and Meanings of Programs, Computer science, Software engineering, Programming Languages, Compilers, Interpreters, Computer Communication Networks, Special Purpose and Application-Based Systems