| |
-
institution
 UPPAAL Research Group
The research focus of our group is on theories, techniques and tools for the design and analysis of real-time embedded systems.
The main projects include: * UPPAAL - a model-checker for timed systems, developed and maintained jointly with Aalborg University, Denmark. * TIMES - a tool for schedulability analysis and code generation guaranteeing timing constraints.
preview:
http://www.it.uu.se/research/group/darts/
1/1/2000
Tags: universities
 |
