135
click to vote
COSIT
2009
Springer
15 years 9 months ago
2009
Springer
We present an approach to assist the smart environment design process by means of automated validation of work-in-progress designs. The approach facilitates validation of not only ...