An Interface Theory for the Internet of Things

Marten Lohstroh, Edward A. Lee. An Interface Theory for the Internet of Things. In Radu Calinescu, Bernhard Rumpe, editors, Software Engineering and Formal Methods - 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. Volume 9276 of Lecture Notes in Computer Science, pages 20-34, Springer, 2015. [doi]

Abstract

Abstract is missing.