2 search results - page 1 / 1 » Adding Invariants to Event Zone Automata |
FORMATS
2006
Springer
13 years 9 months ago
2006
Springer
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...
ATVA
2006
Springer
13 years 9 months ago
2006
Springer
Whereas partial order methods have proved their efficiency for the analysis of discrete-event systems, their application to timed systems remains a challenging research topic. Here...