Construction and Analysis of Safe, Secure, and Interoperable Smart Devices - Barthe, Gilles; Burdy, Lilian; Huisman, Marieke; Kanade, Takeo; Lanet, Jean-Louis; Muntean, Traian (Springer Berlin / Heidelberg, 2005)
Keywords: Information Technology -- Software Engineering