메뉴 건너뛰기




Volumn 8, Issue 5, 1988, Pages 343-359

A petri net framework for automated static analysis of Ada tasking behavior

Author keywords

[No Author keywords available]

Indexed keywords


EID: 0000492324     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/0164-1212(88)90027-1     Document Type: Article
Times cited : (35)

References (24)
  • 13
    • 84918642225 scopus 로고
    • Static Analysis of the Synchronization Structure of Concurrent Programs
    • 2nd Ed., University of Colorado
    • (1980) Ph.D. Dissertation
    • Taylor1
  • 14
    • 0020736536 scopus 로고
    • Complexity of Analyzing the Synchronization Structure of Concurrent Programs
    • (1983) Acta Inf. , vol.19 , pp. 57-84
    • Taylor1
  • 15
    • 0020752281 scopus 로고
    • A General Purpose Algorithm for Analyzing Concurrent Programs
    • (1983) Commun. ACM , vol.26 , Issue.5 , pp. 362-376
    • Taylor1
  • 16
    • 0021441442 scopus 로고
    • Communication Mechanisms for Programming Distributed Computer Systems
    • (1984) IEEE Computer , vol.17 , Issue.6 , pp. 21-28
    • Shatz1
  • 22
    • 84918645158 scopus 로고
    • Automated Translation of Ada Programs into Petri Nets to Support Static Analysis
    • 2nd Ed., Department of Electrical Engineering and Computer Science, University of Illinois, Chicago
    • (1985) Master's Thesis
    • Cheng1
  • 24
    • 84918615529 scopus 로고    scopus 로고
    • T. Murata, B. Shenker, and S. Shatz, Detection of Ada Static Deadlocks Using Petri Net Invariants, IEEE Trans. Software Eng., to appear.


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.