Sciweavers

13717 search results - page 21 / 2744
» Control Systems
Sort
View
HYBRID
1994
Springer
15 years 1 months ago
A Note on Abstract Interpretation Strategies for Hybrid Automata
Thomas A. Henzinger, Pei-Hsin Ho
RTSS
1991
IEEE
15 years 1 months ago
Hartstone Distributed Benchmark: Requirements and Definitions
Nick I. Kamenoff, Nelson H. Weiderman