Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory.

Susanne Graf, Sophie Quinton, Alain Girault, Gregor Gler

Browse the full FMICS paper archive.