Verifying security requirements using model checking technique for UML-based requirements specification

Yoshitaka Aoki, Saeko Matsuura

研究成果: Conference contribution

8 被引用数 (Scopus)

フィンガープリント

「Verifying security requirements using model checking technique for UML-based requirements specification」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Business & Economics

Engineering & Materials Science