Brief Industry Paper: A Model-based Framework and Tool Support for Capturing System Verification Strategy.

Mole Li, Alan Grigg

Browse the full RTAS paper archive.