![](/img/cover-not-exists.png)
[IEEE First International Workshop on Software Engineering for Pervasive Computing Applications, Systems, and Environments (SEPCASE '07) - Minneapolis, MN, USA (2007.05.20-2007.05.26)] First International Workshop on Software Engineering for Pervasive Computing Applications, Systems, and Environments (SEPCASE '07) - Do No Harm: Model Checking eHome Applications
Chen, Zebin, Fickas, StephenYear:
2007
Language:
english
DOI:
10.1109/sepcase.2007.4
File:
PDF, 259 KB
english, 2007