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

Yoshitaka Aoki, Saeko Matsuura

研究成果: Article査読

2 被引用数 (Scopus)

フィンガープリント

「Verifying business rules using model-checking techniques for non-specialist in model-checking」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Engineering & Materials Science