3 search results - page 1 / 1 » Temporal Notions of Synchronization and Consistency in Beehi... |
SPAA
1997
ACM
15 years 6 months ago
1997
ACM
114
Voted
RTAS
2007
IEEE
15 years 8 months ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
115
Voted
CORR
2008
Springer
15 years 1 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...