Formally specified monitoring of temporal properties - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Moonjoo Kim, Mahesh Viswanathan, Hanêne Ben-Abdallah, Sampath Kannan, Insup Lee, Oleg Sokolsky. Formally specified monitoring of temporal properties. In 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 9-11 June 1999, York, England, UK, Proceedings. pages 114-122, IEEE Computer Society, 1999. [doi]

This author has not been identified. Look up 'Moonjoo Kim' in GoogleThis author has not been identified. Look up 'Mahesh Viswanathan' in GoogleThis author has not been identified. Look up 'Hanêne Ben-Abdallah' in GoogleThis author has not been identified. Look up 'Sampath Kannan' in GoogleThis author has not been identified. Look up 'Insup Lee' in GoogleThis author has not been identified. Look up 'Oleg Sokolsky' in Google

runs on WebDSL