Search results
Lecture Notes in Computer Science > Formal Methods for Eternal Networked Software Systems > Architecture and Interoperability > 1-26
IEEE Transactions on Automation Science and Engineering > 2016 > 13 > 2 > 621 - 638
Journal of Internet Services and Applications > 2012 > 3 > 1 > 67-75