Skip to content

Formal methods in a system-of-systems development.

Dale Scott Caffall, James Bret Michael

VenueBSMC
Year2005
ProceedingsSMC

Browse the full SMC paper archive.