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 : 316
  • Download : 0
Export
Kang, Deukyoon / Kim, Myungchulresearcher / Kang, Sungwonresearcher / Yoo, Sangjo
Issue Date
1997
Language
ENG
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), pp.267 - 282

URI
http://hdl.handle.net/10203/118678
Appears in Collection
CS-Conference Papers(학술회의논문)CS-Conference Papers(학술회의논문)
Files in This Item
There are no files associated with this item.

Display Full 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