Scalable compatibility for embedded real-time components via language progressive timed automata
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783869562261
- Maße
-
30 cm
- Umfang
-
VI, 67 S.
- Sprache
-
Englisch
- Anmerkungen
-
Ill., graph. Darst.
Zusätzliches Online-Angebot unter http://pub.ub.uni-potsdam.de/volltexte/2013/6385/ und urn:nbn:dekobv:517-opus-63853. - Literaturangaben
- Erschienen in
-
Technische Berichte des Hasso-Plattner-Instituts für Softwaresystemtechnik an der Universität Potsdam / Hasso-Plattner-Institut für Softwaresystemtechnik ; Nr. 65
- Schlagwort
-
Echtzeitsystem
Eingebettetes System
Zeitbehafteter Automat
Ein-Ausgabe
Verifikation
- Ereignis
-
Veröffentlichung
- (wo)
-
Potsdam
- (wer)
-
Univ.-Verl.
- (wann)
-
2013
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:17 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Neumann, Stefan
- Giese, Holger
- Univ.-Verl.
Entstanden
- 2013
Ähnliche Objekte (12)
Scalable compatibility for embedded real-time components via language progressive timed automata
Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata
Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata
Probabilistic timed graph transformation systems
Interval probabilistic timed graph transformation systems
Compositional analysis of probabilistic timed graph transformation systems
Efficient and scalable graph view maintenance for deductive graph databases based on generalized discrimination networks
Probabilistic timed graph transformation systems
Model-based engineering of embedded real-time systems : international Dagstuhl workshop, Dagstuhl Castle, Germany, November 4 - 9, 2007 ; revised selected papers
Object coordination nets 3.0, [...]. Semantics specification
Object oriented design and architecture of distributed systems
Object coordination nets 3.0, [...]. Reference manual
Scalable compatibility for embedded real-time components via language progressive timed automata
Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata
Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata
Probabilistic timed graph transformation systems
Interval probabilistic timed graph transformation systems
Compositional analysis of probabilistic timed graph transformation systems
Efficient and scalable graph view maintenance for deductive graph databases based on generalized discrimination networks
Probabilistic timed graph transformation systems
Model-based engineering of embedded real-time systems : international Dagstuhl workshop, Dagstuhl Castle, Germany, November 4 - 9, 2007 ; revised selected papers
Object coordination nets 3.0, [...]. Semantics specification
Object oriented design and architecture of distributed systems
Object coordination nets 3.0, [...]. Reference manual
Scalable compatibility for embedded real-time components via language progressive timed automata
Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata
Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata
Probabilistic timed graph transformation systems
Interval probabilistic timed graph transformation systems
Compositional analysis of probabilistic timed graph transformation systems
Efficient and scalable graph view maintenance for deductive graph databases based on generalized discrimination networks
Probabilistic timed graph transformation systems
Model-based engineering of embedded real-time systems : international Dagstuhl workshop, Dagstuhl Castle, Germany, November 4 - 9, 2007 ; revised selected papers
Object coordination nets 3.0, [...]. Semantics specification
Object oriented design and architecture of distributed systems