1997年 A conformance testing for communication protocols modeled as a set of DFSMs with common inputs TESTCOM X (Chapman & Hall) 開始ページ 239 終了ページ 254 エクスポート BibTeX RIS