Automatic verification of behavior of UML requirements specifications using model checking

Saeko Matsuura, Sae Ikeda, Kasumi Yokotae

研究成果: Conference contribution

1 被引用数 (Scopus)

フィンガープリント

「Automatic verification of behavior of UML requirements specifications using model checking」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Engineering & Materials Science