Open access peer-reviewed chapter

Concurrent Specification of Embedded Systems: An Insight into the Flexibility vs Correctness Trade-Off

By F. Herrera and I. Ugarte

Downloaded: 1835

Published: March 2nd 2012

How to cite and reference

Link to this chapter Copy to clipboard

Cite this chapter Copy to clipboard

F. Herrera and I. Ugarte (March 2nd 2012). Concurrent Specification of Embedded Systems: An Insight into the Flexibility vs Correctness Trade-Off, Embedded Systems Kiyofumi Tanaka, IntechOpen, DOI: 10.5772/37476. Available from:

Embed this chapter on your site Copy to clipboard

<iframe src="http://www.intechopen.com/embed/embedded-systems-theory-and-design-methodology/concurrent-specification-of-embedded-systems-an-insight-into-the-flexibility-vs-correctness-trade-of" />

Embed this code snippet in the HTML of your website to show this chapter

chapter statistics

1835total 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

SW Annotation Techniques and RTOS Modelling for Native Simulation of Heterogeneous Embedded Systems

By Héctor Posadas, Álvaro Díaz and Eugenio Villar

Related Book

First chapter

Parallel Embedded Computing Architectures

By Michael Schmidt, Dietmar Fey and Marc Reichenbach

We are IntechOpen, the first native scientific publisher of Open Access books. 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.

+3,350 Open Access Books

+57,400 Citations in Web of Science

+107,500 IntechOpen Authors and Academic Editors

+560,000 Unique visitors per month

More about us