By Aujoulat Fabien   Roger Frédéric   Bourdier Alice   Lotthé Anne   Lamy Brigitte   Marchandin Hélène   Jumas-Bilak Estelle   in Genes

ISSN:2073-4425|3|2|191-232

MDPI‎(2012)‎

Access to resources Favorite 7.7307043

Context Aware Model-Checking for Embedded Software‎

By Philippe Dhaussy Jean-Charles Roger and Frédéric Boniol  

ISBN:INT0233937975

IntechOpen‎(2012)‎

Access to resources Favorite 4.0038724