Formal verification and software product lines

Tomoji Kishi, Natsuko Noda

研究成果: Article査読

25 被引用数 (Scopus)

フィンガープリント

「Formal verification and software product lines」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Engineering & Materials Science