Home | Download | Screenshots | Documentation | Case studies | Publications | DARTS team | Contact us |
|
DARTS team
DARTS
(Design and Analysis of Real-Time Systems) is a research group at
Uppsala University, Sweden.
We study and develop theories, techniques and tools to
support the design and analysis of real-time systems, in particular safety critical systems.
|
|||||||||||||||||||||||||||||||||||
|