×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [regionin fact]
A GRI SPECIAL REPORT An Analysis of Global Current & Future Events Part 2 of a 5 part series: Global Research Initiative
226 views
Model-based Analysis and Implementation of Embedded Systems Rajeev Alur University of Pennsylvania alur/ MIT Workshop, August 2005
216 views
Regions Finite Partitioning of State Space
31 views
Regions Finite Partitioning of State Space x y An equivalence class (i.e. a region) in fact there is only a finite number of regions!!
217 views
1 Efficient Verification of Timed Automata Kim Guldstrand Larsen Paul PetterssonMogens Nielsen BRICS@Aalborg BRICS@Aarhus
222 views