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