MISSION Workshop at ETAPS 2026

Details

City / Country: Turin, Italy

Event dates: 11 April 2026

Submission deadline: 10 January 2026

Categories: —

Official website: —

Description

Topics

case studies, formal methods for space domain, analysis of reliability/resilience/resource consumption, tool support for space applications