Electronic Books

Total Books: 1 - 1 /1
978-3-540-32008-1
Operational Semantics for Timed Systems

This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents ...

Continue reading
Total Books: 1 - 1 /1