Towards Trust Assurance and Certification in Cyber-Physical Systems.

Daniel Schneider, Eric Armengaud, Erwin Schoitsch

Browse the full SAFECOMP paper archive.