DMCA

Refining middleware functions for verification purpose (2003)

by Jérôme Hugues , Laurent Pautet , École Nationale Supérieure , Des Télécommunications , Fabrice Kordon
Venue:in Proc. of the Monterey Workshop on Software Engineering for Embedded Systems: From Requirements to Implementation
Citations:3 - 1 self