Open Access System for Information Sharing

Login Library

 

Conference
Cited 0 time in webofscience Cited 0 time in scopus
Metadata Downloads

Verification of Consistency Between Functional View and Behavioral View Using the Symbolic Model-Checking Approach

Title
Verification of Consistency Between Functional View and Behavioral View Using the Symbolic Model-Checking Approach
Authors
강교철
Date Issued
1-Feb-2001
Publisher
한국정보과학회
URI
http://oasis.postech.ac.kr/handle/2014.oak/58380
Article Type
Conference
Citation
제3회 한국 소프트웨어 공학 학술대회, 2001-02-01
Files in This Item:
There are no files associated with this item.

qr_code

  • mendeley

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

Views & Downloads

Browse