DSpace at KOASAS: Applying Model Checking to Concurrent Object-Oriented Software

DSpace at KOASAS

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

Applying Model Checking to Concurrent Object-Oriented Software

Cited 0 time in webofscience

Cited 0 time in scopus

Hit : 846
Download : 597

Export

Cho, Seung Mo / Bae, Doo-Hwan researcher / Cha, Sungdeok / Kim, Yuoung Gon / Yoo, Byung Kyu / Kim, Sang Taek

Publisher: IEEE

Issue Date: 1999-03

Language: ENG

Citation: Fourth International Symposium on AUtonomous Decentralized Systems, pp.380 - 383

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

Appears in Collection: CS-Conference Papers(학술회의논문)

Files in This Item: Applying Model Checking to Concurrent Object-Or...(150 kB)Download

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

Applying Model Checking to Concurrent Object-Oriented Software

KOASAS

Communities & Collections