File Download

There are no files associated with this item.

  • Find it @ UNIST can give you direct access to the published full text of this article. (UNISTARs only)
Related Researcher

이재용

Lee, Jaiyong
Read More

Views & Downloads

Detailed Information

Cited time in webofscience Cited time in scopus
Metadata Downloads

Full metadata record

DC Field Value Language
dc.citation.conferencePlace FR -
dc.citation.conferencePlace Paris -
dc.citation.title Proceedings of IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols(FORTE XI) and Protocol Specification, Testing and Verification(PSTV XVIII) -
dc.contributor.author Kim, T.H. -
dc.contributor.author Hwang, I.S. -
dc.contributor.author Park, C.M. -
dc.contributor.author Lee, Jaiyong -
dc.contributor.author Lee, S.B. -
dc.date.accessioned 2023-12-20T06:39:28Z -
dc.date.available 2023-12-20T06:39:28Z -
dc.date.created 2020-07-03 -
dc.date.issued 1998-11 -
dc.identifier.bibliographicCitation Proceedings of IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols(FORTE XI) and Protocol Specification, Testing and Verification(PSTV XVIII) -
dc.identifier.uri https://scholarworks.unist.ac.kr/handle/201301/47359 -
dc.language 영어 -
dc.publisher Proceedings of IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols(FORTE XI) and Protocol Specification, Testing and Verification(PSTV XVIII) -
dc.title Automatic Test Case Generation of Real Protocols : Framework and Methodology -
dc.type Conference Paper -
dc.date.conferenceDate 1998-11 -

qrcode

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