Verifying business rules using model-checking techniques for non-specialist in model-checking

Yoshitaka Aoki, Saeko Matsuura

Research output: Contribution to journalArticlepeer-review

2 Citations (Scopus)

Fingerprint Dive into the research topics of 'Verifying business rules using model-checking techniques for non-specialist in model-checking'. Together they form a unique fingerprint.

Engineering & Materials Science