Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sarat Chandra Varanasi, Joaquín Arias, Elmer Salazar, Fang Li 0010, Kinjal Basu 0002, Gopal Gupta. Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP). In James Cheney, Simona Perri, editors, Practical Aspects of Declarative Languages - 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022, Proceedings. Volume 13165 of Lecture Notes in Computer Science, pages 181-190, Springer, 2022. [doi]

This author has not been identified. Look up 'Sarat Chandra Varanasi' in GoogleThis author has not been identified. Look up 'Joaquín Arias' in GoogleThis author has not been identified. Look up 'Elmer Salazar' in GoogleThis author has not been identified. Look up 'Fang Li 0010' in GoogleThis author has not been identified. Look up 'Kinjal Basu 0002' in GoogleThis author has not been identified. Look up 'Gopal Gupta' in Google

runs on WebDSL