Open Access System for Information Sharing

Login Library

 

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

심볼릭 모델검사 방법을 이용한 DFD와 Statechart 간의 일관성 검증

Title
심볼릭 모델검사 방법을 이용한 DFD와 Statechart 간의 일관성 검증
Authors
김남희
Date Issued
2001
Publisher
포항공과대학교
URI
http://postech.dcollection.net/jsp/common/DcLoOrgPer.jsp?sItemId=000001905740
http://141.223.5.61//handle/2014.oak/5968
Article Type
Thesis
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