BigraphTalk: Verified Design of IoT Applications

IEEE Internet of Things Journal - United States
doi 10.1109/jiot.2020.2964026