Industrial-Strength Model-Based Testing of Safety-Critical Systems.

Jan Peleska, Wen-ling Huang

Browse the full FM paper archive.