Search

Your search keyword '"Zurowska, Karolina"' showing total 12 results

Search Constraints

Start Over You searched for: Author "Zurowska, Karolina" Remove constraint Author: "Zurowska, Karolina"
12 results on '"Zurowska, Karolina"'

Search Results

1. A Customizable Execution Engine for Models of Embedded Systems

3. Model Checking of UML-RT Models Using Lazy Composition

4. Symbolic Execution of Communicating and Hierarchically Composed UML-RT State Machines

Catalog

Books, media, physical & digital resources