Ambient contracts: verifying and enforcing ambient object compositions à la carte

Publication Type:

Journal Article

Authors:

Christophe Scholliers; Dries Harnie; Éric Tanter; Wolfgang De Meuter; Theo D'Hondt

Source:

Personal and Ubiquitous Computing, Volume 15, p.341-351 (2011)