Heinrich Rust Books
Operational Semantics For Timed Systems: A Non-Standard Approach To Uniform Modeling Of Timed And Hybrid Systems
By Heinrich Rust, Heinrich Rust (Auth.)
This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents a time model which allows for both the description of discrete time steps a...
Read More
Operational Semantics For Timed Systems
By Heinrich Rust, Heinrich Rust (Auth.)
This Monograph Is Dedicated To A Novel Approach For Uniform Modelling Of Timed And Hybrid Systems. Heinrich Rust Presents A Time Model Which Allows For Both The Description Of Discrete Time Steps A...
Read More