Amanote Research

Amanote Research

    RegisterSign In

BigraphTalk: Verified Design of IoT Applications

IEEE Internet of Things Journal - United States
doi 10.1109/jiot.2020.2964026
Full Text
Open PDF
Abstract

Available in full text

Categories
Information SystemsSignal ProcessingComputer NetworksHardwareCommunicationsComputer Science ApplicationsManagementArchitecture
Date

April 1, 2020

Authors
Blair ArchibaldMin-Zheng ShiehYu-Hsuan HuMichele SevegnaniYi-Bing Lin
Publisher

Institute of Electrical and Electronics Engineers (IEEE)


Related search

Rigorous Design and Deployment of IoT Applications

2019English

IoT Composer: Composition and Deployment of IoT Applications

2019English

Formally Verified Cryptographic Web Applications in WebAssembly

2019English

Industrial Applications of Blockchain to IoT Data

Blockchain and Crypt Currency
2020English

Data Mining Framework for IoT Applications

International Journal of Computer Applications
2017English

Smart Energy Meter for Iot Applications

International Journal of Innovative Technology and Exploring Engineering
Mechanics of MaterialsElectronic EngineeringCivilStructural EngineeringElectricalComputer Science
2019English

IoT Survey: Architectural Design and Key Technologies of IoT-based Intelligent Transportation

DEStech Transactions on Computer Science and Engineering
2018English

Compact Flat Dipole Rectenna for Iot Applications

Progress In Electromagnetics Research C
OpticalElectronicMagnetic Materials
2018English

Scalable Transport Mechanisms for Blockchain IoT Applications

2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy