An Integrated Specification Logic for Cyber-Physical Systems.

Marius C. Bujorianu, Howard Barringer

Browse the full ICECCS paper archive.