NASA Formal Methods : 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
NASA Formal Methods : 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings
 
ISBN
978-3-030-55754-6
 
Volume Band
12229
 

Publications Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Phan, Dung T. ; Grosu, Radu ; Jansen, Nils ; Paoletti, Nicola ; Smolka, Scott A. ; Stoller, Scott D. Neural Simplex ArchitectureInproceedings Konferenzbeitrag 2020