Book
Formal verification and modeling in human-machine systems: papers from the AAAI Spring Symposium
AAAI Press
AAAI Spring Symposium (Palo Alto, California, United States, 2014)
2014
Abstract
"This AAAI Symposium was held March 24-26, 2014 in Palo Alto, California USA, on the campus of Stanford University."
Metrics
1 Record Views
Details
- Title
- Formal verification and modeling in human-machine systems
- Creators
- Eric G MercerMichael A GoodrichNeha S RungtaEllen J BassAssociation for the Advancement of Artificial Intelligence
- Conference
- AAAI Spring Symposium (Palo Alto, California, United States, 2014)
- Publisher
- AAAI Press; Palo Alto, California
- Number of pages
- viii, 129 pages
- Resource Type
- Book
- Language
- English
- Academic Unit
- Information Science (Informatics)
- Identifiers
- 9781577356554; 1577356551; 991019292220704721