Validating IoT Devices with Rate-Based Session Types.

Grant Iraci Cheng-En Chuang Raymond Hu Lukasz Ziarek

Published in: Proc. ACM Program. Lang. (2023)

Keyphrases

mobile devices
management system
database
mobile applications
databases
database systems
multiscale
location information
multiple types
electronic devices