Verification and refinement for system requirements

Kukhwan Song, Atsushi Togashi, Norio Shiratori

    Research output: Contribution to journalArticle

    Fingerprint Dive into the research topics of 'Verification and refinement for system requirements'. Together they form a unique fingerprint.

    Mathematics

    Engineering & Materials Science