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
- 2001-02-01
- Publisher
- 한국정보과학회
- URI
- https://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.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.