DSpace at KOASAS
College of Engineering(공과대학)School of Computing(전산학부)CS-Conference Papers(학술회의논문)

A Weighted Random Walk Approach for Conformance Testing of a System Specified as Communicating Finite State Machines

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 335
  • Download : 0
Export
DC FieldValueLanguage
dc.contributor.authorKang, Deukyoon-
dc.contributor.authorKim, Myungchul-
dc.contributor.authorKang, Sungwon-
dc.contributor.authorYoo, Sangjo-
dc.date.accessioned2013-03-15T10:32:42Z-
dc.date.available2013-03-15T10:32:42Z-
dc.date.created2012-02-06-
dc.date.issued1997-
dc.identifier.citationIFIP 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.urihttp://hdl.handle.net/10203/118678-
dc.languageENG-
dc.titleA Weighted Random Walk Approach for Conformance Testing of a System Specified as Communicating Finite State Machines-
dc.typeConference-
dc.type.rimsCONF-
dc.citation.beginningpage267-
dc.citation.endingpage282-
dc.citation.publicationnameIFIP 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.conferencecountryJapan-
dc.identifier.conferencecountryJapan-
dc.contributor.localauthorKim, Myungchul-
dc.contributor.localauthorKang, Sungwon-
dc.contributor.nonIdAuthorKang, Deukyoon-
dc.contributor.nonIdAuthorYoo, Sangjo-
Appears in Collection
CS-Conference Papers(학술회의논문)CS-Conference Papers(학술회의논문)
Files in This Item
There are no files associated with this item.

Display Simple Item Record

qr_code

  • mendeley

    citeulike

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


rss_1.0 rss_2.0 atom_1.0