PERTS: A Graphical Environment for the Specification and Verification of Reactive Systems
A. K. Bhattacharjee, S. D. Dhodapkar, Sanjit A. Seshia, and R. K. Shyamasundar. PERTS: A Graphical Environment for the Specification and Verification of Reactive Systems. Journal of Reliability Engineering and System Safety, 71(3):299–310, 2001. (Corrigendum in vol. 72(2), page 223.)
Download
(unavailable)
Abstract
(unavailable)
BibTeX
@Article{BDSS-jress01, author = {A. K. Bhattacharjee and S. D. Dhodapkar and Sanjit A. Seshia and R. K. Shyamasundar}, title = {{PERTS}: A Graphical Environment for the Specification and Verification of Reactive Systems}, journal = {Journal of Reliability Engineering and System Safety}, year = {2001}, OPTkey = {}, volume = {71}, number = {3}, pages = {299--310}, OPTmonth = {}, note = {(Corrigendum in vol. 72(2), page 223.)}, }