Open access

Context Aware Model-Checking for Embedded Software

Written By

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

Submitted: 09 June 2011 Published: 02 March 2012

DOI: 10.5772/37975

From the Edited Volume

Embedded Systems - Theory and Design Methodology

Edited by Kiyofumi Tanaka

Chapter metrics overview

2,657 Chapter Downloads

View Full Metrics

Written By

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

Submitted: 09 June 2011 Published: 02 March 2012