MIO Workbench: A Tool for Compositional Design with Modal Input/Output Interfaces.

Sebastian S. Bauer, Philip Mayer, Axel Legay

Browse the full ATVA paper archive.