Vor Ort
Merkzettel Warenkorb
  • Produktbild: Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems
  • Produktbild: Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems
- 13%

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

13% sparen

138,99 € UVP 160,49 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

28.08.2007

Abbildungen

XXIV, 300 p.

Herausgeber

S. Ramesh + weitere

Verlag

Springer Netherland

Seitenzahl

300

Maße (L/B/H)

24,2/16,2/3 cm

Gewicht

609 g

Auflage

2007 edition

Sprache

Englisch

ISBN

978-1-4020-6253-7

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

28.08.2007

Abbildungen

XXIV, 300 p.

Herausgeber

Verlag

Springer Netherland

Seitenzahl

300

Maße (L/B/H)

24,2/16,2/3 cm

Gewicht

609 g

Auflage

2007 edition

Sprache

Englisch

ISBN

978-1-4020-6253-7

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: gpsr@libri.de

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems
  • Produktbild: Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems
  • An Abstraction Technique for Real-Time Verification.- SCADE: Synchronous Design and Validation of Embedded Control Software.- Model-Based Development of Embedded Systems: The SysWeaver Approach.- Verification and Integration of Real-Time Control Software.- Merge Algorithms for Intelligent Vehicles.- All Those Duration Calculi: An Integrated Approach.- Adding Time to Scenarios.- Using System-Level Timing Analysis for the Evaluation and Synthesis of Automotive Architectures.- Verifiable Design of Asynchronous Software.- Approximate Symbolic Reachability of Networks of Transition Systems.- Schedule Verification and Synthesis for Embedded Real-Time Components.- An Instrumentation-Based Approach to Controller Validation.- A Design Methodology for Distributed Real-Time Automotive Applications.- Role of Formal Methods in the Automobile Industry.- Predicting Failures of and Repairing Inductive Proof Attempts.- Can Semi-Formal be Made More Formal?.- Beyond Satisfiability: Extensions and Applications.- Compositional Reactive Semantics of SystemC and Verification with RuleBase.- PSL: Beyond Hardware Verification.- On the Polychronous Approach to Embedded Software Design.- Scaling up Model-checking.- Performance Debugging of Heterogeneous Real-Time Systems.