Concurrent Specification of Embedded Systems: An Insight into the Flexibility vs Correctness Trade-Off ( Embedded Systems - Theory and Design Methodology )

Publication series ： Embedded Systems - Theory and Design Methodology

Author： F. Herrera and I. Ugarte

Publisher： IntechOpen‎

Publication year： 2012

E-ISBN: INT0233937476

P-ISBN(Paperback): 9789535101673

P-ISBN(Hardback): 9789535101673

Subject： TP3 Computers

Keyword：计算技术、计算机技术

Language： ENG

Access to resources Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

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

The users who browse this book also browse