Monografie
Scalable compatibility for embedded real-time components via language progressive timed automata
- Sprache
-
Englisch
- Umfang
-
VI, 67 S.
- ISBN
-
978-3-86956-226-1
- Identifier
-
1036282449
- Reihe
-
Technische Berichte des Hasso-Plattner-Instituts für Softwaresystemtechnik an der Universität Potsdam; Nr. 65
Thema
Echtzeitsystem ; Eingebettetes System ; Zeitbehafteter Automat ; Ein-Ausgabe ; Verifikation
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.04.2024, 08:47 MESZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
Scalable compatibility for embedded real-time components via language progressive timed automata
Embedded operating system projects
Modeling and verifying dynamic evolving service-oriented architectures
Automatic verification of behavior preservation at the transformation level for relational model transformation
Modeling collaborations in self-adaptive systems of systems : terms, characteristics, requirements, and scenarios
Industrial case study on the integration of SysML and AUTOSAR with triple graph grammars
Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata
Efficient and scalable graph view maintenance for deductive graph databases based on generalized discrimination networks
Probabilistic timed graph transformation systems
Compositional analysis of probabilistic timed graph transformation systems
Interval probabilistic timed graph transformation systems
The font engineering platform : collaborative font creation in a self-supporting programming environment
Scalable compatibility for embedded real-time components via language progressive timed automata
Embedded operating system projects
Modeling and verifying dynamic evolving service-oriented architectures
Automatic verification of behavior preservation at the transformation level for relational model transformation
Modeling collaborations in self-adaptive systems of systems : terms, characteristics, requirements, and scenarios
Industrial case study on the integration of SysML and AUTOSAR with triple graph grammars
Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata
Efficient and scalable graph view maintenance for deductive graph databases based on generalized discrimination networks
Probabilistic timed graph transformation systems
Compositional analysis of probabilistic timed graph transformation systems
Interval probabilistic timed graph transformation systems
The font engineering platform : collaborative font creation in a self-supporting programming environment
Scalable compatibility for embedded real-time components via language progressive timed automata
Embedded operating system projects
Modeling and verifying dynamic evolving service-oriented architectures
Automatic verification of behavior preservation at the transformation level for relational model transformation
Modeling collaborations in self-adaptive systems of systems : terms, characteristics, requirements, and scenarios
Industrial case study on the integration of SysML and AUTOSAR with triple graph grammars
Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata
Efficient and scalable graph view maintenance for deductive graph databases based on generalized discrimination networks
Probabilistic timed graph transformation systems
Compositional analysis of probabilistic timed graph transformation systems
Interval probabilistic timed graph transformation systems