DC Field | Value | Language |
---|---|---|
dc.contributor.author | Kang, Deukyoon | - |
dc.contributor.author | Kim, Myungchul | - |
dc.contributor.author | Kang, Sungwon | - |
dc.contributor.author | Yoo, Sangjo | - |
dc.date.accessioned | 2013-03-15T10:32:42Z | - |
dc.date.available | 2013-03-15T10:32:42Z | - |
dc.date.created | 2012-02-06 | - |
dc.date.issued | 1997 | - |
dc.identifier.citation | IFIP Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification Testing and Verification (PSTV XVII), v., no., pp.267 - 282 | - |
dc.identifier.uri | http://hdl.handle.net/10203/118678 | - |
dc.language | ENG | - |
dc.title | A Weighted Random Walk Approach for Conformance Testing of a System Specified as Communicating Finite State Machines | - |
dc.type | Conference | - |
dc.type.rims | CONF | - |
dc.citation.beginningpage | 267 | - |
dc.citation.endingpage | 282 | - |
dc.citation.publicationname | IFIP Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification Testing and Verification (PSTV XVII) | - |
dc.identifier.conferencecountry | Japan | - |
dc.identifier.conferencecountry | Japan | - |
dc.contributor.localauthor | Kim, Myungchul | - |
dc.contributor.localauthor | Kang, Sungwon | - |
dc.contributor.nonIdAuthor | Kang, Deukyoon | - |
dc.contributor.nonIdAuthor | Yoo, Sangjo | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.