Amanote Research
Register
Sign In
Formally Specified Monitoring of Temporal Properties
doi 10.1109/emrts.1999.777457
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
M. Viswanathan
H. Ben-Abdallah
S. Kannan
I. Lee
O. Sokolsky
Publisher
IEEE Comput. Soc