Model-based Verification of Safety-Critical Systems.

Pao-Ann Hsiung, Yen-Hung Lin

Browse the full SEKE paper archive.