9 results on '"van Beek, D.A."'
Search Results
2. A Semantic-Preserving Transformation from the Compositional Interchange Format to UPPAAL
3. Coordination of Resources using Generalized State-Based Requirements
4. Sampled-data control of hybrid systems with discrete inputs and outputs
5. New Concepts in the Abstract Format of the Compositional Interchange Format
6. Concrete syntax and semantics of the compositional interchange format for hybrid systems
7. A Hybrid Language for Modeling, Simulation and Verification
8. SIMULATION AND VERIFICATION OF HYBRID SYSTEMS USING CHI
9. Languages and Applications in Hybrid Modelling: Positioning of CHI
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.