Operational semantics for timed systems: a non-standard approach to uniform modeling of timed and hybrid systems
Berlin [u.a.]: Springer, 2005
Monographie, Gedruckte Ressource
- XII, 223 S.
Ermittle Ausleihstatus...
Titel: |
Operational semantics for timed systems: a non-standard approach to uniform modeling of timed and hybrid systems
|
---|---|
Verantwortlichkeitsangabe: | [author: Heinrich Rust] |
Autor/in / Beteiligte Person: | Rust, Heinrich |
Link: | |
Verwandtes Werk: | |
Veröffentlichung: | Berlin [u.a.]: Springer, 2005 |
Medientyp: | Monographie |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | XII, 223 S. |
ISBN: | 3540255761 |
Sonstiges: |
|