Search results for: Aurelien Monot
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Tool Demonstration Papers > 252-257
IEEE Transactions on Industrial Electronics > 2012 > 59 > 10 > 3934 - 3942
ETFA2011 > 1 - 4