[Lecture Notes in Computer Science] Formal Approaches to Agent-Based Systems Volume 2699 || Formal Verification for a Next-Generation Space Shuttle
Hinchey, Michael G., Rash, James L., Truszkowski, Walter F., Rouff, Christopher, Gordon-Spears, DianaVolume:
10.1007/b1
Year:
2003
Language:
english
DOI:
10.1007/978-3-540-45133-4_5
File:
PDF, 276 KB
english, 2003