Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures Bernardo Marco Heftet / 2011 / Engelsk
Trust Management Third International Conference, iTrust 2005, Paris, France, May 23-26, 2005, Proceedings Herrmann Peter Heftet / 2005 / Engelsk
Internet of Things – ICIOT 2019 4th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings Issarny Valerie Heftet / 2019 / Engelsk
