Assuring Cyber-Physical Systems - Scalable Formal Verification
[Technical Report, Briefing Charts]
CARNEGIE-MELLON UNIV PITTSBURGH PA
Pagination or Media Count:
Contents include ACPA Initiatives Scalable Assurance Rapid Certifiable trust Analysis of Mission Progress Enforcing Unsafe behavior Drone Experiment.
- Statistics and Probability
- Theoretical Mathematics
- Administration and Management