(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 | ||
− | |||
− | |||
− | |||
− | |||
}} | }} |