Description style of model-based formal specification considering executability and readability

Yasumasa Nakatsugawa, Taro Kurita, Keijiro Araki

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Description style of model-based formal specification considering executability and readability'. Together they form a unique fingerprint.

Engineering & Materials Science