Integration of Formal Analysis into a Model-Based Software Development Process.

Michael W. Whalen, Darren D. Cofer, Steven P. Miller, Bruce H. Krogh, Walter Storm

Browse the full FMICS paper archive.