Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783869562179
- Maße
-
30 cm
- Umfang
-
27 S.
- Sprache
-
Englisch
- Anmerkungen
-
Ill., graph. Darst.
Zusätzliches Online-Angebot unter http://pub.ub.uni-potsdam.de/volltexte/2012/6243/ und urn:nbn:dekobv:517-opus-62437. - Literaturangaben
- Erschienen in
-
Technische Berichte des Hasso-Plattner-Instituts für Softwaresystemtechnik an der Universität Potsdam / Hasso-Plattner-Institut für Softwaresystemtechnik ; Nr. 64
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Potsdam
- (wer)
-
Univ.-Verl.
- (wann)
-
2012
- 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, 13:36 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
- Becker, Basil
- Giese, Holger
- Univ.-Verl.
Entstanden
- 2012
Ähnliche Objekte (12)
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Verification of graph transformation systems with k-inductive invariants
k-Inductive invariant checking for graph transformation systems
Inductive invariant checking with partial negative application conditions
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
Object coordination nets 3.0 synchronization behavior typing for contracts
Modeling collaborations in self-adaptive systems of systems : terms, characteristics, requirements, and scenarios
Scalable compatibility for embedded real-time components via language progressive timed automata
Triple graph grammars for multi-version models
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Verification of graph transformation systems with k-inductive invariants
k-Inductive invariant checking for graph transformation systems
Inductive invariant checking with partial negative application conditions
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
Object coordination nets 3.0 synchronization behavior typing for contracts
Modeling collaborations in self-adaptive systems of systems : terms, characteristics, requirements, and scenarios
Scalable compatibility for embedded real-time components via language progressive timed automata
Triple graph grammars for multi-version models
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Verification of graph transformation systems with k-inductive invariants
k-Inductive invariant checking for graph transformation systems
Inductive invariant checking with partial negative application conditions
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
Object coordination nets 3.0 synchronization behavior typing for contracts
Modeling collaborations in self-adaptive systems of systems : terms, characteristics, requirements, and scenarios
Scalable compatibility for embedded real-time components via language progressive timed automata