×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [timed io automata]
S4 S4 System Synthesis and Supervision, Scenarios Benoît Caillaud 20 March 2012
215 views
ECDAR Composition of Real-Time Specifications — Revisited Kim Guldstrand Larsen Aalborg University, DENMARK
225 views
1 Theory of Distributed Systems (TDS) Group Leaders: Nancy Lynch, Idit Keidar PhD students: Victor Luchangco, Josh Tauber, Roger Khazan, Carl Livadas,
223 views
S4 System Synthesis and Supervision, Scenarios
24 views