Skip to main navigation Skip to search Skip to main content

An Innovative Formal Verification Method Based on Timed Petri Nets With Integrated Database Tables

  • Jian Song
  • , Guanjun Liu
  • , Ying Tang
  • , Li Wang
  • , Miaomiao Wang
  • , Lin Li

Research output: Contribution to journal › Article › peer-review

Fingerprint

Dive into the research topics of 'An Innovative Formal Verification Method Based on Timed Petri Nets With Integrated Database Tables'. Together they form a unique fingerprint.
Sort by

Keyphrases

Computer Science

Engineering