ASADAL/SIM: An incremental multi-level simulation and analysis tool for real-time software specifications

Kyo C. Kang, Kwan W. Lee, Ji Y. Lee, Gerard J. Kim

Research output: Contribution to journalArticlepeer-review

5 Citations (Scopus)

Fingerprint Dive into the research topics of 'ASADAL/SIM: An incremental multi-level simulation and analysis tool for real-time software specifications'. Together they form a unique fingerprint.

Engineering & Materials Science