High Assurance for Distributed Cyber Physical Systems.

Scott A. Hissam, Sagar Chaki, Gabriel A. Moreno

Browse the full ECSA paper archive.