Open access

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

Written By

F. Herrera and I. Ugarte

Submitted: 03 June 2011 Published: 02 March 2012

DOI: 10.5772/37476

From the Edited Volume

Embedded Systems - Theory and Design Methodology

Edited by Kiyofumi Tanaka

Chapter metrics overview

2,734 Chapter Downloads

View Full Metrics

Written By

F. Herrera and I. Ugarte

Submitted: 03 June 2011 Published: 02 March 2012