Produktbild: Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems

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

149,79 €

inkl. gesetzl. MwSt.

Beschreibung

Produktdetails

Format

PDF

Kopierschutz

Nein

Family Sharing

Nein

Text-to-Speech

Nein

Erscheinungsdatum

26.08.2007

Herausgeber

S. Ramesh + weitere

Verlag

Springer Netherlands

Seitenzahl

300 (Printausgabe)

Dateigröße

5808 KB

Sprache

Englisch

EAN

9781402062544

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

Format

PDF

eBooks im PDF-Format haben eine festgelegte Seitengröße und eignen sich daher nur bedingt zum Lesen auf einem tolino eReader oder Smartphone. Für den vollen Lesegenuss empfehlen wir Ihnen bei PDF-eBooks die Verwendung eines Tablets oder Computers.

Kopierschutz

Nein

Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie, allen sonstigen eReadern und am PC lesen. Das eBook ist nicht kopiergeschützt und kann ein personalisiertes Wasserzeichen enthalten. Weitere Hinweise zum Lesen von eBooks mit einem personalisierten Wasserzeichen finden Sie unter Hilfe/Downloads.

Family Sharing

Nein

Mit Family Sharing können Sie eBooks innerhalb Ihrer Familie (max. sechs Mitglieder im gleichen Haushalt) teilen. Sie entscheiden selbst, welches Buch Sie mit welchem Familienmitglied teilen möchten. Auch das parallele Lesen durch verschiedene Familienmitglieder ist durch Family Sharing möglich. Um eBooks zu teilen oder geteilt zu bekommen, muss jedes Familienmitglied ein Konto bei Thalia oder einem anderen tolino-Buchhändler haben. Weitere Informationen finden Sie unter Hilfe/Family-Sharing.

Text-to-Speech

Nein

Bedeutet Ihnen Stimme mehr als Text? Mit der Funktion Text-to-Speech können Sie sich im tolino webReader und in der aktuellen Thalia – Lesen & Hören App das eBook vorlesen lassen. Weitere Informationen finden Sie unter Hilfe/Text-to-Speech.

Barrierefreiheit

  • keine Information zur Barrierefreiheit bekannt

Erscheinungsdatum

26.08.2007

Herausgeber

Verlag

Springer Netherlands

Seitenzahl

300 (Printausgabe)

Dateigröße

5808 KB

Sprache

Englisch

EAN

9781402062544

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)

Weitere Artikel finden Sie in

  • Produktbild: Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems
  • Preface. Acknowledgements. An Abstraction Technique for Real-Time Verification; E.M.Clarke, F.Lerda, M.Talupur. SCADE: Synchronous Design and Validation of Embedded Control Software; G.Berry. Model-Based Development of Embedded Systems: The SysWeaver Approach; R.Rajkumar. Verification and Integration of Real-Time Control Software; R.Alur. Merge Algorithms for Intelligent Vehicles; G.Raravi, V.Shingde, K.Ramamritham, J.Bharadia. All Those Duration Calculi: An Integrated Approach; P.K.Pandya. Adding Time to Scenarios; P.Chandrasekaran, M.Mukund. Using System-Level Timing Analysis for the Evaluation and Synthesis of Automotive Architectures; M.DiNatale, W.Zheng, P.Giusto. Verifiable Design of Asynchronous Software; P.Chandrasekaran, C.L.Conway, J.M.Joy, S.K.Rajamani. Approximate Symbolic Reachability of Networks of Transition Systems; S.Juvekar, A.Taly, V.Kanade, S.Chakraborty. Schedule Verification and Synthesis for Embedded Real-Time Components; P.Bhaduri. An Instrumentation-Based Approach to Controller Validation; R.Cleaveland. A Design Methodology for Distributed Real-Time Automotive Applications; W.Damm, A.Metzner. Role of Formal Methods in the Automobile Industry; T.E.Fuhrman. Predicting Failures of and Repairing Inductive Proof Attempts; M.Subramaniam, D.Kapur, S.Falke. Can Semi-Formal be Made More Formal? A.Banerjee, P.Dasgupta, P.P.Chakrabarti. Beyond Satisfiability: Extensions and Applications; N.Shankar. Compositional Reactive Semantics of SystemC and Verification with RuleBase; R.K.Shyamasundar, F.Doucet, R.K.Gupta, I.H.Krüger. PSL: Beyond Hardware Verification; Z.Glazberg, M.Moulin, A.Orni, S.Ruah, E.Zarpas. On thePolychronous Approach to Embedded Softward Design; S.K.Shukla, S.M.Suhaib, D.A.Mathaikutty, J.-P.Talpin. Scaling up Model-checking; A.Kulkarni, R.Metta, U.Shrotri, R.Venkatesh. Performance Debugging of Heterogeneous Real-Time Systems; U.D.Bordoloi, S.Chakraborty, A.Hagiescu.