![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] NASA Formal Methods Volume 10811 || Formal Assurance for Cooperative Intelligent Autonomous Agents
Dutle, Aaron, Muñoz, César, Narkawicz, AnthonyVolume:
10.1007/97
Year:
2018
Language:
english
DOI:
10.1007/978-3-319-77935-5_2
File:
PDF, 1.90 MB
english, 2018