Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems


[Heinrich Rust]
Bok Engelsk 2005
Utgitt
Berlin : Springer , c2005
Omfang
XII, 223 s. : ill.
Emner
ISBN
3540255761. - 9783540255765

Bibliotek som har denne