A Non-Standard Approach to Uniform Modeling of Timed and Hybrid Systems. By: Heinrich Rust. Operational Semantics for Timed Systems : A Non-Standard ...
確定! 回上一頁