Creating a Language for Writing Real-Time Applications for the Internet of Things

Robert Krook, John Hui, Bo Joel Svensson, Stephen A. Edwards, Koen Claessen. Creating a Language for Writing Real-Time Applications for the Internet of Things. In 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022, Shanghai, China, October 13-14, 2022. pages 1-20, IEEE, 2022. [doi]

Authors

Robert Krook

This author has not been identified. Look up 'Robert Krook' in Google

John Hui

This author has not been identified. Look up 'John Hui' in Google

Bo Joel Svensson

This author has not been identified. Look up 'Bo Joel Svensson' in Google

Stephen A. Edwards

This author has not been identified. Look up 'Stephen A. Edwards' in Google

Koen Claessen

This author has not been identified. It may be one of the following persons: Look up 'Koen Claessen' in Google