ARTIST2: Advanced Real-Time Systems 2

Funded by: (EU NoE)
Publications: in EPrints
Further information: http://www.systemes-critiques.org/ARTIST/