Sébastien Marcoux

Publication Activity (10 Years)

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

Top Topics

Formal Analysis

Wireless Sensor Networks

Top Venues

Publications

Vasiliki Sfyrla, Sébastien Marcoux, Claude Vittoria
Formal analysis of Fresenius infusion pump (FIP). ICCPS (2013)