A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems Heinrich Rust ... Cottbus timed automata: Formal definition and semantics.
確定! 回上一頁