Formal Modeling and Analysis of Timed Systems
From MaRDI portal
Publication:5717500
DOI10.1007/b12025zbMath1099.68060OpenAlexW2610516344MaRDI QIDQ5717500
Xuandong Li, Jian-hua Zhao, Tao Zheng, Guoliang Zheng
Publication date: 10 January 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b12025
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Remove irrelevant atomic formulas for timed automaton model checking ⋮ A quadratic-time DBM-based successor algorithm for checking timed automata
Uses Software