Open Access System for Information Sharing

Login Library

 

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

Statechart의 실시간 성질의 정형적인 명세와 증명 방법

Title
Statechart의 실시간 성질의 정형적인 명세와 증명 방법
Authors
강교철
Date Issued
28-Oct-1994
Publisher
한국정보과학회
URI
http://oasis.postech.ac.kr/handle/2014.oak/58407
Article Type
Conference
Citation
한국정보과학회 1994년도 가을 학술발표대회, 1994-10-28
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