Open access peer-reviewed chapter

Context Aware Model-Checking for Embedded Software

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

Submitted: June 9th 2011Reviewed: November 2nd 2011Published: March 2nd 2012

DOI: 10.5772/37975

Downloaded: 2301

© 2012 The Author(s). Licensee IntechOpen. This chapter is distributed under the terms of the Creative Commons Attribution 3.0 License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

How to cite and reference

Link to this chapter Copy to clipboard

Cite this chapter Copy to clipboard

Philippe Dhaussy, Jean-Charles Roger and Frédéric Boniol (March 2nd 2012). Context Aware Model-Checking for Embedded Software, Embedded Systems - Theory and Design Methodology, Kiyofumi Tanaka, IntechOpen, DOI: 10.5772/37975. Available from:

chapter statistics

2301total chapter downloads

2Crossref citations

More statistics for editors and authors

Login to your personal dashboard for more detailed statistics on your publications.

Access personal reporting

Related Content

This Book

Next chapter

A Visual Software Development Environment that Considers Tests of Physical Units

By Takaaki Goto, Yasunori Shiono, Tomoo Sumida, Tetsuro Nishino, Takeo Yaku and Kensei Tsuchida

Related Book

First chapter

Parallel Embedded Computing Architectures

By Michael Schmidt, Dietmar Fey and Marc Reichenbach

We are IntechOpen, the world's leading publisher of Open Access books. Built by scientists, for scientists. Our readership spans scientists, professors, researchers, librarians, and students, as well as business professionals. We share our knowledge and peer-reveiwed research papers with libraries, scientific and engineering societies, and also work with corporate R&D departments and government entities.

More About Us