Analysis of Experiences with the Engineering of a Medical Device Using State-Based Formal Methods.

Atif Mashkoor, Alexander Egyed

Browse the full QRS paper archive.