(mobo import Concept___Events_With_Academic_Fields-migrated) |
Curator 91 (talk | contribs) |
||
| 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 | ||
| + | |Single Day Event=no | ||
| + | |Start Date=2017/05/16 | ||
| + | |End Date=2017/05/18 | ||
| + | |Academic Field=Formal Methods; Software Engineering; Testing; Safety Critical Systems | ||
|Type=Conference | |Type=Conference | ||
|Homepage=ti.arc.nasa.gov/events/nfm-2017/ | |Homepage=ti.arc.nasa.gov/events/nfm-2017/ | ||
| Line 15: | Line 19: | ||
|pageEditor=R.omar | |pageEditor=R.omar | ||
|contributionType=1 | |contributionType=1 | ||
| − | |||
| − | |||
| − | |||
| − | |||
}} | }} | ||
OpenResearchStack: 0.0.29
Confident: 1.9.10
