Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Roberto Nardone
Securing MQTT by Blockchain-Based OTP Authentication
Sensors
Instrumentation
Information Systems
Electronic Engineering
Biochemistry
Analytical Chemistry
Molecular Physics,
Electrical
Atomic
Medicine
Optics
Combining Heterogeneity, Compositionality, and Automatic Generation in Formal Modelling
Theory and Application of Multi-Formalism Modeling