A TIMED FAILURE EQUIVALENCE PRESERVING ABSTRACTION FOR PARAMETRIC TIME-INTERVAL AUTOMATA
From MaRDI portal
Publication:5484905
DOI10.1142/S0129054106004133zbMath1098.68074MaRDI QIDQ5484905
Teruo Higashino, Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki
Publication date: 21 August 2006
Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)
abstraction; equivalence checking; parametric timed automata; real-time communicating systems; timed failure equivalence
68Q45: Formal languages and automata
Cites Work