Automatic verification of behavior of UML requirements specifications using model checking
Saeko Matsuura, Sae Ikeda, Kasumi Yokotae
研究成果: Conference contribution
1
被引用数
(Scopus)