DEIS

Frontpage of the Distributed, Embedded and Intelligent Systems' webiste


alt="" alt="" alt="" 

...

World-renowned DEIS tools

UPPAAL Logo

A number of world-renowned tools have been developed by DEIS, including: 

DEIS SEMINARS

The Distributed and Embedded Systems unit is running regular seminars where both local speakers as well as external visitors give talks on a wide range of topics from the concurrency theory and practice. 

Read more

Introduction to DEIS