396.78 형식 검증(Formal Verification)과 임무 안전성
Home
/
로봇 공학 (Robotics Engineering)
/
Volume 9. 임무 관리와 행동 계획 (Mission Management and Behavior Planning)
/
Part 53. 임무 관리 시스템 (Mission Management Systems)
/
Chapter 396. 임무 관리 개론 (Introduction to Mission Management)
/
396.78 형식 검증(Formal Verification)과 임무 안전성
396.78 형식 검증(Formal Verification)과 임무 안전성