Sciweavers

15840 search results - page 140 / 3168
» The Control of Synchronous Systems
Sort
View
87
Voted
RTSS
1999
IEEE
15 years 5 months ago
Towards Systematic Testing of Distributed Real-Time Systems
Henrik Thane, Hans Hansson
77
Voted
HYBRID
1999
Springer
15 years 5 months ago
Verification of Hybrid Systems via Mathematical Programming
Alberto Bemporad, Manfred Morari