Behavioral Types for Component-Based Development of Cyber-Physical Systems.

Jan Olaf Blech, Peter Herrmann

Browse the full SEFM paper archive.