Vignir Gudmundsson
Orcid: 0000-0003-3926-3652
According to our database1,
Vignir Gudmundsson
authored at least 3 papers
between 2013 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2016
Proceedings of the Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques, 2016
2015
Model-based testing of NASA's GMSEC, a reusable framework for ground system software.
Innov. Syst. Softw. Eng., 2015
2013
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013