Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
From MaRDI portal
Publication:5464754
DOI10.1007/b100824zbMath1109.68517MaRDI QIDQ5464754
Marta Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang
Publication date: 19 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b100824
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Weak bisimulation for probabilistic timed automata, Performance analysis of probabilistic timed automata using digital clocks, Symbolic model checking for probabilistic timed automata, Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata
Uses Software