A high assurance space on-board distributed computer system
収録刊行物
-
- 2003 IEEE Aerospace Conference Proceedings (Cat. No.03TH8652)
-
2003 IEEE Aerospace Conference Proceedings (Cat. No.03TH8652) 5 5_2501-5_2509, 2004-06-22
IEEE