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]
@inproceedings{ArmacKM06,
title = {Modeling and Analysis of Functionality in eHome Systems: Dynamic Rule-based Conflict Detection},
author = {Ibrahim Armac and Michael Kirchhof and Liviana Manolescu},
year = {2006},
doi = {10.1109/ECBS.2006.48},
url = {http://doi.ieeecomputersociety.org/10.1109/ECBS.2006.48},
tags = {rule-based, modeling, analysis, rules},
researchr = {https://researchr.org/publication/ArmacKM06},
cites = {0},
citedby = {0},
pages = {219-228},
booktitle = {13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 27-30 March 2006, Potsdam, Germany},
publisher = {IEEE Computer Society},
isbn = {0-7695-2546-6},
}