Login / Signup
WSN Design and Verification Using On-Board Executable Specifications.
Salvatore Gaglio
Giuseppe Lo Re
Gloria Martorella
Daniele Peri
Published in:
IEEE Trans. Ind. Informatics (2019)
Keyphrases
</>
case study
design process
formal specification
multi agent systems
user interface
wireless sensor networks
design decisions
energy efficient
test cases
software architecture
design principles
engineering design
software design
control flow
functional verification
biological inspired