Search for dissertations about: "Purush Iyer"
Found 1 swedish dissertation containing the words Purush Iyer.
-
1. Hierarchical Modeling and Analysis of Real Time Systems
Abstract : UPPAAL is a tool for model-checking real-time systems developed jointly by Uppsala University and Aalborg University. It has been applied successfully in case studies ranging from communication protocols to multimedia applications. The tool is designed to verify systems that can be modeled as networks of timed automata. READ MORE
Result pages:
1