On the verification of time-dependent protocols using timed reachability analysis

  • Fuchun Lin*
  • , Ming T. Liu
  • , Charles J. Graff
    • *此作品的通信作者

研究成果: Conference contribution › 同行評審

2 引文 斯高帕斯（Scopus）

指紋

深入研究「On the verification of time-dependent protocols using timed reachability analysis」主題。共同形成了獨特的指紋。
排序方式

Keyphrases

Engineering