Search results for: Noel Crespi
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Emerging Services and Technologies for a Converging Telecommunications / Web World in Smart Environments of the Internet of Things > 399-410
IEEE Communications Magazine > 2016 > 54 > 3 > 62 - 67
IEEE Cloud Computing > 2015 > 2 > 6 > 10 - 19