Delivery included to the United States

Languages and Tools for Hybrid Systems Design

Languages and Tools for Hybrid Systems Design - Foundations and Trends in Electronic Design Automation

Paperback (30 Jun 2006)

Not available for sale

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Publisher's Synopsis

Languages and Tools for Hybrid Systems Design is a survey of languages and tools for the design and verification of hybrid systems. The book reviews and compares hybrid system tools by highlighting their differences in terms of their underlying semantics, expressive power and mathematical mechanisms. The review concludes with a comparative summary, which suggests the need for a unifying approach to hybrid systems design. As a step in this direction, the case is made for a semantic-aware interchange format, which would enable the use of joint techniques, make a formal comparison between different approaches possible, and facilitate exporting and importing design representations. Languages and Tools for Hybrid Systems Design is also intended to equip researchers, application developers and managers with key references and resource material for the successful development of hybrid systems.

Book information

ISBN: 9781933019284
Publisher: Now Publishers
Imprint: Now Publishers
Pub date:
Language: English
Number of pages: 194
Weight: 299g
Height: 234mm
Width: 156mm
Spine width: 11mm