Open access

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

Written By

F. Herrera and I. Ugarte

Submitted: June 3rd, 2011 Published: March 2nd, 2012

DOI: 10.5772/37476

Chapter metrics overview

2,631 Chapter Downloads

View Full Metrics

Written By

F. Herrera and I. Ugarte

Submitted: June 3rd, 2011 Published: March 2nd, 2012