Synthesis and validation of operating procedures based on untimed automata

Tai Yu Chen, Chuei Tin Chang

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

Fingerprint

Dive into the research topics of 'Synthesis and validation of operating procedures based on untimed automata'. Together they form a unique fingerprint.

Engineering & Materials Science

Chemical Compounds