Construction and Analysis of Safe, Secure, and Interoperable Smart Devices - Barthe, Gilles; Grégoire, Benjamin; Huisman, Marieke; Kanade, Takeo; Lanet, Jean-Louis; Institut national de recherche en informatique et en automatique (France); Lanet, Jean-Luis (Springer Berlin / Heidelberg, 2006)
Keywords: Information Technology -- Software Engineering