DSpace at KOASAS: Protocol trace analysis based on formal specifications, Formal Description Techniques

DSpace at KOASAS

College of Engineering(공과대학)School of Computing(전산학부)CS-Journal Papers(저널논문)

Protocol trace analysis based on formal specifications, Formal Description Techniques

Cited 0 time in webofscience

Cited 0 time in scopus

Hit : 338
Download : 0

Export

Kim, Myungchul researcher / Son T. Vuong / Samuel T. Chanson

Publisher: North-Holland Publishing Co.

Issue Date: 1992-01

Language: English

Citation: FORMAL DESCRIPTION TECHNIQUES FOR DISTRIBUTED SYSTEMS AND COMMUNICATION PROTOCOLS, v.C-2, pp.393 - 408

URI: http://hdl.handle.net/10203/64990

Appears in Collection: CS-Journal Papers(저널논문)

Files in This Item: There are no files associated with this item.

Display Full Item Record

qr_code

트윗하기

KOASAS

Knowledge Service Development Team, KAIST 291 Daehak-ro, Yuseong-gu, Daejeon 34141, Republic of Korea. T. 82-42-350-4493 Email. koasas@kaist.ac.kr
Copyright © 2016. Korea Advanced Institute of Science and Technology. All Rights Reserved.

KOASAS

KOASAS

Browse

Protocol trace analysis based on formal specifications, Formal Description Techniques

KOASAS

Communities & Collections