A safe-by-design programming language for wireless sensor networks

TitleA safe-by-design programming language for wireless sensor networks
Publication TypeJournal Article
Year of Publication2016
AuthorsLopes, L., and F. Martins
JournalJournal of Systems Architecture
Volume63
Pagination16–32