×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [timed automata]
Controller Synthesis for Discrete and Timed Systems Stavros Trypakis (joint work with Karine Altisen)
219 views
Analysis and design of Fault Tolerant Real-time systems by Roozbeh Izadi-Zamanabadi Department of Control Engineering Aalborg University
221 views
20.01.05Lecture 2, CS52701 The Real Time Computing Environment CS 5270 Lecture 2 (?)
216 views
Analysis and design of Fault Tolerant Real-time systems
35 views
Lecture 4 Component Behavioral Modeling with REMES
25 views
Solving Timed Games with Variable Observations: Proof of Concept Peter Bulychev Franck Cassez Alexandre David Kim G. Larsen Jean-François Raskin Pierre-Alain
214 views
Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems
44 views
A Tool for the Design and Verification of Composite Web Services
29 views
Towards proactive computing systems Leo Motus and Merik Meriste Tallinn University of Technology and University of Tartu 21st January 20081Laboratory for
216 views
Solving Timed Games with Variable Observations: Proof of Concept
28 views
< Prev