12 results on '"Zurowska, Karolina"'
Search Results
2. Language-specific model checking of UML-RT models
3. Model Checking of UML-RT Models Using Lazy Composition
4. Symbolic Execution of Communicating and Hierarchically Composed UML-RT State Machines
5. A Customizable Execution Engine for Models of Embedded Systems
6. Language-specific model checking of UML-RT models
7. Symbolic execution of UML-RT State Machines
8. SAUML: A tool for symbolic analysis of UML-RT models
9. Definition and implementation of a semantic mapping for UML-RT using a timed pi-calculus
10. Load management in model-aware execution of composite web services
11. Model Aware Execution of Composite Web Services
12. Definition and implementation of a semantic mapping for UML-RT using a timed pi-calculus.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.