Sciweavers

6 search results - page 2 / 2
» Parameterized Verification of Infinite-State Processes with ...
Sort
View
ATVA
2006
Springer
131views Hardware» more  ATVA 2006»
13 years 9 months ago
Timed Unfoldings for Networks of Timed Automata
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...
Patricia Bouyer, Serge Haddad, Pierre-Alain Reynie...