Corrina Gibson

According to our database¹, Corrina Gibson authored at least 3 papers between 2010 and 2014.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2014

Formal validation of fault management design solutions.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2014

Abstractions for Executable and Checkable Fault Management Models.

[BibT_eX]

[DOI]

Proceedings of the Conference on Systems Engineering Research, 2014

2010

Geometric integration of impact during an orbital docking procedure.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Automation Science and Engineering, 2010