Sciweavers

3653 search results - page 30 / 731
» On Recognizable Timed Languages
Sort
View
CONCUR
2001
Springer
15 years 10 months ago
An Algebraic Characterization of Data and Timed Languages
Patricia Bouyer, Antoine Petit, Denis Théri...
HYBRID
2001
Springer
15 years 10 months ago
Hybrid Abstractions that Preserve Timed Languages
Paulo Tabuada, George J. Pappas
ICECCS
1997
IEEE
84views Hardware» more  ICECCS 1997»
15 years 10 months ago
A Language Support Environment for Complex Distributed Real-Time Applications
Alexander D. Stoyen, Thomas J. Marlowe, Mohamed F....