6 search results - page 2 / 2 » Parameterized Verification of Infinite-State Processes with ... |
ATVA
2006
Springer
13 years 11 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...