CHASE: Contract-based requirement engineering for cyber-physical system design.

Pierluigi Nuzzo, Michele Lora, Yishai A. Feldman, Alberto L. Sangiovanni-Vincentelli

Browse the full DATE paper archive.