Open Access System for Information Sharing

Login Library

 

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

PARTS : A Temporal Logic-Based Real-time Software Specification and Verification Method

Title
PARTS : A Temporal Logic-Based Real-time Software Specification and Verification Method
Authors
강교철
Date Issued
24-Apr-1995
Publisher
.
URI
http://oasis.postech.ac.kr/handle/2014.oak/58396
Article Type
Conference
Citation
17th International Conference on Software Engineering, page. 169 - 176, 1995-04-24
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