Generation of efficient test sequences from LOTOS specifications

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

*Corresponding author for this work

    Research output: Contribution to journalArticlepeer-review

    Fingerprint

    Dive into the research topics of 'Generation of efficient test sequences from LOTOS specifications'. Together they form a unique fingerprint.

    Engineering & Materials Science