Melquisedec Andrade

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Concurrent Systems

Medical Devices

Top Venues

Publications

Paulo E. S. Barbosa, Misael Morais, Katia Elizabete Galdino, Melquisedec Andrade, Luís Gomes, Filipe Moutinho, Jorge C. A. de Figueiredo
Towards medical device behavioural validation using Petri nets. CBMS (2013)