Quality improvement of requirements specification using model checking technique

Yoshitaka Aoki, Shinpei Ogata, Hirotaka Okuda, Saeko Matsuura

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Fingerprint Dive into the research topics of 'Quality improvement of requirements specification using model checking technique'. Together they form a unique fingerprint.

Business & Economics