Verifying security requirements using model checking technique for UML-based requirements specification
Yoshitaka Aoki, Saeko Matsuura
研究成果: Conference contribution
9
被引用数
(Scopus)