[Lecture Notes in Computer Science] NASA Formal Methods Volume 9690 || Probabilistic Formal Verification of the SATS Concept of Operation
- 作者Rayadurgam, Sanjai; Tkachuk, Oksana
- 文件大小1662.51KB
- 发表时间2016
- DOI10.1007/978-3-319-40648-0_15
- 页码191-205
同作者推荐
Author, author burning bright; author, author are you right?Pederson, T. · The FASEB Journal · 2006
AUTHOR AUTHOR AUTHORLYLE, W M · Optometry and Vision Science · 1994
Author repeating another author's mistakeDodds, M. H. · Notes and Queries · 1940
Authors and Authorities in Ancient Philosophy || Authors and Authorities in Ancient China: Some Comparative ObservationsBryan, Jenny; Wardy, Robert; Warren, James · 2018
AUTHOR'S CREDENTIALS AND NURSES AS AUTHORSDebra Dunn · 2003
AUTHOR'S CREDENTIALS AND NURSES AS AUTHORSNancy Girard · 2003
Authors repeating another author's mistakeForse, Edward J. G. · Notes and Queries · 1940
Authors repeating another author's mistakesH. G. L. K., · Notes and Queries · 1940