Timed automata with data structures for distributed systems design and analysis

2005 ◽  
Author(s):  
R. Lanotte ◽  
A. Maggiolo-Schettini ◽  
A. Troina
Keyword(s):  
Distributed Systems ◽  
Data Structures ◽  
Timed Automata ◽  
Systems Design

scholarly journals Specification styles in distributed systems design and verification

1991 ◽  
Vol 89 (1) ◽  
pp. 179-206 ◽  
Author(s):  
Chris A. Vissers ◽  
Giuseppe Scollo ◽  
Marten van Sinderen ◽  
Ed Brinksma
Keyword(s):  
Distributed Systems ◽  
Systems Design

scholarly journals Data-structures for the verification of timed automata

1997 ◽  
pp. 346-360 ◽  
Author(s):  
Eugene Asarin ◽  
Marius Bozga ◽  
Alain Kerbrat ◽  
Oded Maler ◽  
Amir Pnueli ◽  
...  
Keyword(s):  
Data Structures ◽  
Timed Automata

Distributed systems design

1983 ◽  
Vol 7 (10) ◽  
pp. 487
Author(s):  
PJ Robertson
Keyword(s):  
Distributed Systems ◽  
Systems Design
Sign in / Sign up

Export Citation Format

Share Document