Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540255765
3540255761
- Dimensions
-
24 cm
- Extent
-
XII, 223 S.
- Language
-
Englisch
- Notes
-
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 3456
- Classification
-
Informatik
- Keyword
-
Zeitvariantes System
Hybrides System
Abstrakte Zustandsmaschine
Temporale Logik
Nonstandard-Logik
Operationale Semantik
Zeitdiskretes System
Abstrakte Zustandsmaschine
Temporale Logik
Nonstandard-Logik
Operationale Semantik
Zeitbehafteter Automat
Abstrakte Zustandsmaschine
Temporale Logik
Nonstandard-Logik
Operationale Semantik
Zeitbewertetes Petri-Netz
Abstrakte Zustandsmaschine
Temporale Logik
Nonstandard-Logik
Operationale Semantik
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York
- (who)
-
Springer
- (when)
-
2005
- Creator
-
Rust, Heinrich
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:18 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Rust, Heinrich
- Springer
Time of origin
- 2005
Other Objects (12)
Operational semantics of timed interacting systems : an algebraic performance oriented formal description technique
Probabilistic timed graph transformation systems
Automated repair for timed systems
Probabilistic timed graph transformation systems
Automated repair for timed systems
Logically timed Chu process semantics for statecharts
Interval probabilistic timed graph transformation systems
Induction-based Verification of Timed Systems
Interval probabilistic timed graph transformation systems
Clock Bound Repair for Timed Systems
Semantics-driven extraction of timed automata from Java programs
On the analysis of stochastic timed systems
Operational semantics of timed interacting systems : an algebraic performance oriented formal description technique
Probabilistic timed graph transformation systems
Automated repair for timed systems
Probabilistic timed graph transformation systems
Automated repair for timed systems
Logically timed Chu process semantics for statecharts
Interval probabilistic timed graph transformation systems
Induction-based Verification of Timed Systems
Interval probabilistic timed graph transformation systems
Clock Bound Repair for Timed Systems
Semantics-driven extraction of timed automata from Java programs
On the analysis of stochastic timed systems
Operational semantics of timed interacting systems : an algebraic performance oriented formal description technique
Probabilistic timed graph transformation systems
Automated repair for timed systems
Probabilistic timed graph transformation systems
Automated repair for timed systems
Logically timed Chu process semantics for statecharts
Interval probabilistic timed graph transformation systems
Induction-based Verification of Timed Systems
Interval probabilistic timed graph transformation systems
Clock Bound Repair for Timed Systems
Semantics-driven extraction of timed automata from Java programs