High Assurance Safe and Secure Distributed Systems and Information Sharing
Infotech@Aerospace
2005-01-01
Conference paper
Electronic Resource
English
Partitioning communications system for safe and secure distributed systems
Tema Archive | 2007
|Validation of Highly Automated Safe and Secure Systems
Springer Verlag | 2016
|