Curator 91 (talk | contribs) |
Curator 91 (talk | contribs) |
||
Line 5: | Line 5: | ||
|Start Date=2017/05/16 | |Start Date=2017/05/16 | ||
|End Date=2017/05/18 | |End Date=2017/05/18 | ||
− | |Academic Field=Formal Methods; Software Engineering; Testing | + | |Academic Field=Formal Methods; Safety Critical Systems; Software Engineering; Testing |
|Type=Conference | |Type=Conference | ||
|Homepage=ti.arc.nasa.gov/events/nfm-2017/ | |Homepage=ti.arc.nasa.gov/events/nfm-2017/ |