Model checking timed systems with urgencies

Pao Ann Hsiung, Shang Wei Lin, Yean Ru Chen, Chun Hsian Huang, Jia Jen Yeh, Hong Yu Sun, Chao Sheng Lin, Hsiao Win Liao

研究成果: Conference contribution

3 引文 斯高帕斯(Scopus)

指紋

深入研究「Model checking timed systems with urgencies」主題。共同形成了獨特的指紋。

Mathematics

Engineering & Materials Science