Formal Modeling and Verification of Timed Connectors in IoT with Z3
Z Xu, M Sun - 2023 Congress in Computer Science, Computer …, 2023 - ieeexplore.ieee.org
The Internet of Things (IoT) is rapidly advancing and reshaping the whole world.
Coordination models and languages, like Reo and Orc, provide connectors that interconnect …
Coordination models and languages, like Reo and Orc, provide connectors that interconnect …
[引用][C] Implementing Quantum-Cryptographic Protocols using SimulaQron
L Engelberts, MP McAssey, C Schaffner, M Walter - 2019