KI-Beratung Beta

  • Produktbild: Model-Based Methodologies for Pervasive and Embedded Software
  • Produktbild: Model-Based Methodologies for Pervasive and Embedded Software
Band 7706

Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012, Revised Papers

48,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.05.2013

Abbildungen

X, 139 p. 61 illus.

Herausgeber

Ricardo J. Machado + weitere

Verlag

Springer Berlin

Seitenzahl

139

Maße (L/B/H)

23,5/15,5/0,9 cm

Gewicht

242 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-38208-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.05.2013

Abbildungen

X, 139 p. 61 illus.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

139

Maße (L/B/H)

23,5/15,5/0,9 cm

Gewicht

242 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-38208-6

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: Model-Based Methodologies for Pervasive and Embedded Software
  • Produktbild: Model-Based Methodologies for Pervasive and Embedded Software
  • A Graphical Specification of Model Composition with Triple Graph Grammars.- MapIt: A Model Based Pattern Recovery Tool.- Combining Testing and Runtime Verification Techniques.- A Lightweight, Composable Metamodelling Language for Specification and Validation of Internal Domain Specific Languages.- Analysis of Simulink Models Using Databases and Model Transformations.- Feature-Based Adaptation of Database Schemas.- Towards a CPN-Based Modelling Approach for Reconciling Verification and Implementation of Protocol Models.- Guidelines for Modelling Reactive Systems with Coloured Petri Nets.