A Theory-Oriented Real-Time Operating System for Temporally Sound Cyber-Physical Systems

Full project page

Organisations map overview