15 results on '"Rooda, J.E."'
Search Results
2. Estimating and quantifying the impact of using models for integration and testing
3. Model-based system analysis using Chi and Uppaal: An industrial case study
4. Relating Hybrid Chi to Other Formalisms
5. A Model-based Integration and Testing Method to Reduce System Development Effort
6. Controller design for switched linear systems with setups
7. Analysis and Simulation of a Distribution System for Flowers
8. Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi.
9. Integrating continuous-time and discrete-event concepts in modelling and simulation of manufacturing machines
10. Syntax and semantics of the compositional interchange format for hybrid systems
11. Improving evolvability of a patient communication control system using state-based supervisory control synthesis
12. Simultaneous analysis and design based optimization for paper path and timing design of a high-volume printer.
13. Supervisory control synthesis for large-scale systems with isomorphisms.
14. Syntax and consistent equation semantics of hybrid Chi
15. Analyzing a χ model of a turntable system using Spin, CADP and Uppaal
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.