Contract-based design of control protocols for safety-critical cyber-physical systems.

Pierluigi Nuzzo, John B. Finn, Antonio Iannopollo, Alberto L. Sangiovanni-Vincentelli

Browse the full DATE paper archive.