Monografie
Industrial case study on the integration of SysML and AUTOSAR with triple graph grammars
- Sprache
-
Englisch
- Umfang
-
VI, 51 S.
- ISBN
-
978-3-86956-191-2
- Identifier
-
1026061903
- Reihe
-
Technische Berichte des Hasso-Plattner-Instituts für Softwaresystemtechnik an der Universität Potsdam; Nr. 57
Thema
AUTOSAR ; Modelltransformation ; SysML ; Graph-Grammatik
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.04.2024, 08:54 MESZ
Objekttyp
- Monografie
Ähnliche Objekte (12)
Industrial case study on the integration of SysML and AUTOSAR with triple graph grammars
Scalable compatibility for embedded real-time components via language progressive timed automata
Toward bridging the gap between formal semantics and implementation of triple graph grammars
Metric temporal graph logic over typed attributed graphs
Efficient and scalable graph view maintenance for deductive graph databases based on generalized discrimination networks
Modeling and verifying dynamic evolving service-oriented architectures
Automatic verification of behavior preservation at the transformation level for relational model transformation
Probabilistic timed graph transformation systems
Compositional analysis of probabilistic timed graph transformation systems
Interval probabilistic timed graph transformation systems
On the operationalization of graph queries with generalized discrimination networks
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Industrial case study on the integration of SysML and AUTOSAR with triple graph grammars
Scalable compatibility for embedded real-time components via language progressive timed automata
Toward bridging the gap between formal semantics and implementation of triple graph grammars
Metric temporal graph logic over typed attributed graphs
Efficient and scalable graph view maintenance for deductive graph databases based on generalized discrimination networks
Modeling and verifying dynamic evolving service-oriented architectures
Automatic verification of behavior preservation at the transformation level for relational model transformation
Probabilistic timed graph transformation systems
Compositional analysis of probabilistic timed graph transformation systems
Interval probabilistic timed graph transformation systems
On the operationalization of graph queries with generalized discrimination networks
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Industrial case study on the integration of SysML and AUTOSAR with triple graph grammars
Scalable compatibility for embedded real-time components via language progressive timed automata
Toward bridging the gap between formal semantics and implementation of triple graph grammars
Metric temporal graph logic over typed attributed graphs
Efficient and scalable graph view maintenance for deductive graph databases based on generalized discrimination networks
Modeling and verifying dynamic evolving service-oriented architectures
Automatic verification of behavior preservation at the transformation level for relational model transformation
Probabilistic timed graph transformation systems
Compositional analysis of probabilistic timed graph transformation systems
Interval probabilistic timed graph transformation systems
On the operationalization of graph queries with generalized discrimination networks