conf.researchr.org / Alwyn Goodloe
Not registered as user yet
Name: Alwyn Goodloe
Affiliation: NASA Langley Research Center
Contributions
| HIW 2019 | Author of Copilot 3.0: a Haskell runtime verification framework for UAVs within the HIW 2019-track |
Not registered as user yet
Name: Alwyn Goodloe
Affiliation: NASA Langley Research Center
Contributions
| HIW 2019 | Author of Copilot 3.0: a Haskell runtime verification framework for UAVs within the HIW 2019-track |