✦ LIBER ✦
Formally verifying human–automation interaction as part of a system model: limitations and tradeoffs
✍ Scribed by Matthew L. Bolton; Ellen J. Bass
- Book ID
- 106573702
- Publisher
- Springer
- Year
- 2010
- Tongue
- English
- Weight
- 378 KB
- Volume
- 6
- Category
- Article
- ISSN
- 1614-5046
No coin nor oath required. For personal study only.