Open Access System for Information Sharing

Login Library

 

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

채널과 공용변수로 상호대화하는 제어소프트웨어의 조합적 심볼릭 모델검사 방법

Title
채널과 공용변수로 상호대화하는 제어소프트웨어의 조합적 심볼릭 모델검사 방법
Authors
고광일
Date Issued
1999
Publisher
포항공과대학교
URI
http://postech.dcollection.net/jsp/common/DcLoOrgPer.jsp?sItemId=000001899977
https://oasis.postech.ac.kr/handle/2014.oak/5204
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