Formal Methods for Real-Time and Probabilistic Systems
No description available.
Logic designLogics and Meanings of ProgramsComputer scienceSoftware engineeringProgramming Languages, Compilers, InterpretersComputer Communication NetworksSpecial Purpose and Application-Based Systems