Towards medical device behavioural validation using Petri nets.

Paulo E. S. Barbosa, Misael Morais, Katia Elizabete Galdino, Melquisedec Andrade, Lus Gomes, Filipe Moutinho, Jorge C. A. de Figueiredo

Browse the full CBMS paper archive.