Open Access System for Information Sharing

Login Library

 

Article
Cited 1 time in webofscience Cited 0 time in scopus
Metadata Downloads

ASADAL/PROVER: A toolset for verifying temporal properties of real-time system specifications in statechart

Title
ASADAL/PROVER: A toolset for verifying temporal properties of real-time system specifications in statechart
Authors
Ko, KIKang, KC
Date Issued
Feb-1999
Publisher
IEICE-INST ELECTRONICS INFORMATION CO
URI
http://oasis.postech.ac.kr/handle/2014.oak/10370
ISSN
0916-8532
Article Type
Article
Citation
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, vol. E82D, no. 2, page. 398 - 411, 1999-02
Files in This Item:

qr_code

  • mendeley

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Views & Downloads

Browse