Ibrahim Armac, Michael Kirchhof, Liviana Manolescu. Modeling and Analysis of Functionality in eHome Systems: Dynamic Rule-based Conflict Detection. In 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 27-30 March 2006, Potsdam, Germany. pages 219-228, IEEE Computer Society, 2006. [doi]
Abstract is missing.