A Test Sequence Generation Method for Communication Protocols Using the SAT Algorithm
Takanori Mori, Hirotaka Otsuka, Nobuo Funabiki, Akio Nakata, Teruo Higashino
研究成果 › 査読
2
被引用数
(Scopus)