Journal article
Formal Verification of Real-Time Function Blocks Using PVS
Authors
Pang L; Wang C-W; Lawford M; Wassyng A; Newell J; Chow V; Tremaine D
Journal
Electronic Proceedings in Theoretical Computer Science, Vol. 184, , pp. 65–79
Publisher
Open Publishing Association
Publication Date
June 10, 2015
DOI
10.4204/eptcs.184.5
ISSN
2075-2180