Testing Safety Critical Systems with SysML/UML.

Matthew Hause, Andrew Stuart, David Richards, Jon Holt

Browse the full ICECCS paper archive.