Date of Award
1-1-2011
Document Type
Thesis
Degree Name
Master of Science (MS)
Department
Computer Science
Recommended Citation
Clachar, Sophine A., "Formalizing software models of safety critical systems" (2011). Theses and Dissertations. 12730.
https://commons.und.edu/theses/12730
COinS