Sciweavers

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