X-by-Construction Design framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems

Full project page

Organisations map overview