Sciweavers

3823 search results - page 20 / 765
» Stability of Hybrid Systems
Sort
View
HYBRID
1998
Springer
15 years 6 months ago
On the Composition of Hybrid Systems
Sébastien Bornot, Joseph Sifakis
HYBRID
1992
Springer
15 years 6 months ago
Hybrid Systems in TLA+
Leslie Lamport
HYBRID
1992
Springer
15 years 6 months ago
Verifying Hybrid Systems
Zohar Manna, Amir Pnueli
93
Voted
HYBRID
2001
Springer
15 years 6 months ago
Hybrid Abstractions that Preserve Timed Languages
Paulo Tabuada, George J. Pappas