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
- 12%

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

12% sparen

139,99 € UVP 160,49 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

19.10.2010

Abbildungen

XXIV, 300 p.

Herausgeber

S. Ramesh + weitere

Verlag

Springer Netherland

Seitenzahl

300

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

493 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-90-481-7583-3

Beschreibung

Portrait

Dr. Ramesh is the Chiarman of the "Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems", 5 - 6 Jan. 2007 in NIAS Auditorium, IISc Campus, Bangalore, India. He is also a seniro member of the GM R&D, Bangalore, India.

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

19.10.2010

Abbildungen

XXIV, 300 p.

Herausgeber

Verlag

Springer Netherland

Seitenzahl

300

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

493 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-90-481-7583-3

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

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.