Generation of efficient test sequences from LOTOS specifications

Naonobu Okazaki*, Shoichi Noguchi, Kaoru Takahashi, Norio Shiratori

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

    研究成果: Article査読

    フィンガープリント

    「Generation of efficient test sequences from LOTOS specifications」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

    Engineering & Materials Science