Open Access System for Information Sharing

Login Library

 

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

ASADAL : A Specification Method for Realtime Systems Behavior Analysis Through Specification Execution

Title
ASADAL : A Specification Method for Realtime Systems Behavior Analysis Through Specification Execution
Authors
강교철
Date Issued
31-Aug-1995
URI
http://oasis.postech.ac.kr/handle/2014.oak/82837
Article Type
Conference
Citation
International Workshop on Engineering of Highly Dependable Software, page. 103 - 138, 1995-08-31
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