Using BIP to reinforce correctness of resource-constrained IoT applications
A. Lekidis, E. Stachtiari, P. Katsaros, M. Bozga, C. K. GeorgiadisYear:
2015
Language:
english
DOI:
10.1109/SIES.2015.7185066
File:
PDF, 823 KB
english, 2015