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