Difference between revisions of "NFM 2017"
Jump to navigation
Jump to search
Tim Holzheim (talk | contribs) (pushed from or by wikipush) |
Tim Holzheim (talk | contribs) (edited by wikiedit) |
||
| Line 2: | Line 2: | ||
|Acronym=NFM 2017 | |Acronym=NFM 2017 | ||
|Title=NFM 2017 : The 9th NASA Formal Methods Symposium | |Title=NFM 2017 : The 9th NASA Formal Methods Symposium | ||
| − | | | + | |Event type=Conference |
|Field=formal methods, safet critical systems, software engineering, testing | |Field=formal methods, safet critical systems, software engineering, testing | ||
|Start date=2017/05/16 | |Start date=2017/05/16 | ||
Latest revision as of 10:11, 8 March 2021
| NFM 2017 | |
|---|---|
NFM 2017 : The 9th NASA Formal Methods Symposium
| |
| Dates | 2017/05/16 (iCal) - 2017/05/18 |
| Homepage: | ti.arc.nasa.gov/events/nfm-2017/ |
| Location | |
| Location: | Mountain View, California, USA |
| Important dates | |
| Abstracts: | 2016/11/28 |
| Submissions: | 2016/12/05 |
| Notification: | 2017/02/03 |
| On site regular: | $ 0 |
| Table of Contents | |