Formal specification of components in a component-based framework development method

Kazuki Yoshida, Shinichi Honiden

Research output: Contribution to journalArticlepeer-review

Fingerprint Dive into the research topics of 'Formal specification of components in a component-based framework development method'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science