中文
Home > Scientific Research > Paper Publications

Efficient encoding for bounded model checking of timed automata

Hits:

  • Journal:IEEJ Transactions on Electrical and Electronic Engineering【SCI检索】

  • Translation or Not:no

  • Included Journals:SCI

  • First Author:Zuxi Chen, etc

  •

Xiamen Campus: No.668 Jimei Avenue, Xiamen, Fujian, China 361021    Quanzhou Campus: No.269 Chenghua North Rd. Quanzhou, Fujian, China 362021 Click:
  MOBILE Version

The Last Update Time:..