Ambient contracts: verifying and enforcing ambient object compositions àla carte
Publication Type:
Journal ArticleSource:
Personal and Ubiquitous Computing, Volume 15, p.341-351 (2011)Subgroup:
REBLS
Links
[1] http://soft.vub.ac.be/soft/members/cfscholl
[2] http://soft.vub.ac.be/soft/members/dharnie
[3] http://soft.vub.ac.be/soft/biblio?f%5Bauthor%5D=87
[4] http://soft.vub.ac.be/soft/biblio?f%5Bauthor%5D=299
[5] http://soft.vub.ac.be/soft/members/tjdhondt