Verwandte Artikel zu Languages and Tools for Hybrid Systems Design (Foundations...
Languages and Tools for Hybrid Systems Design (Foundations and Trends® in Electronic Design Automation) - Softcover
Inhaltsangabe
Languages and Tools for Hybrid Systems Design is a survey of languages and tools for the design and verification of hybrid systems. It 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. The book is also intended to equip researchers, application developers and managers with key references and resource material for the successful development of hybrid systems.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
Languages and Tools for Hybrid Systems Design is a survey of languages and tools for the design and verification of hybrid systems. It 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. The book is also intended to equip researchers, application developers and managers with key references and resource material for the successful development of hybrid systems.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Languages and Tools for Hybrid Systems Design (Foundations...
Beispielbild für diese ISBN
Languages and Tools for Hybrid Systems Design (Foundations and Trends (R) in Electronic Design Automation) (Foundations and Trends® in Electronic Design Automation) [Paperback] Carloni, Luca P.; Passerone, Roberto and Pinto, Alessandro
Anbieter: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Very Good. Minor wear at edges/corners. Some storage marks/scratches to cover and text blocks. Text excellent and unread. Bestandsnummer des Verkäufers 041667-3
Anzahl: 1 verfügbar