Formal verification and software product lines

Tomoji Kishi, Natsuko Noda

    研究成果: Chapter

    フィンガープリント

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

    Engineering & Materials Science

    Business & Economics