Search results
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 > 390-398