Formal verification and software product lines

Tomoji Kishi*, Natsuko Noda

*この研究の対応する著者

研究成果: Article査読

25 被引用数 (Scopus)

フィンガープリント

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

Engineering & Materials Science