Amanote Research
Register
Sign In
Rigorous Design and Deployment of IoT Applications
doi 10.1109/formalise.2019.00011
Full Text
Open PDF
Abstract
Available in
full text
Date
May 1, 2019
Authors
Ajay Krishna
Michel Le Pallec
Radu Mateescu
Ludovic Noirie
Gwen Salaun
Publisher
IEEE
Related search
IoT Composer: Composition and Deployment of IoT Applications
BigraphTalk: Verified Design of IoT Applications
IEEE Internet of Things Journal
Information Systems
Signal Processing
Computer Networks
Hardware
Communications
Computer Science Applications
Management
Architecture
Data Analytics Service Composition and Deployment on IoT Devices
Rigorous Design of Cyber-Physical Systems
Producing the Rigorous Design Case
International Journal of Designs for Learning
Rigorous System Design: The BIP Approach
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Bio-Inspired Deployment of Distributed Applications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Container Initial Deployment Method Based on Microservice Level of IoT
DEStech Transactions on Computer Science and Engineering
IoT Survey: Architectural Design and Key Technologies of IoT-based Intelligent Transportation
DEStech Transactions on Computer Science and Engineering
