首页|MQTT Algebraic Formal Modelling Using ACP

MQTT Algebraic Formal Modelling Using ACP

扫码查看
Internet of Things special nature brings new challenges as to what communication protocols better suit its features, because the most popular ones nowadays, based on client-server or peer-to-peer paradigms, do not fit properly as they may not meet IoT cha

ACPFormal protocol specificationMQTTNetworking

Pedro Juan Roig、Salvador Alcaraz、Katja Gilly、Carlos Juiz、Noura Aknin

展开 >

Balearic Islands University,Department of Computer Science,Palma de Mallorca,Spain,07122

Miguel Hernandez University,Department of Computer Architecture,Elche,Alicante,Spain,03202

Miguel Hernandez University,Department of Computer Architecture,Elche,Alica

International Conference Electronics

Palanga(LT)

2020 24th International Conference Electronics

1-5

2020