Construction and analysis of safe, secure, and interoperable smart devices second international workshop, CASSIS 2005, Nice, France, March 8 - 11, 2005 ; revised selected papers

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	CASSIS (BerichterstatterIn)
Weitere Verfasser:	Barthe, Gilles (HerausgeberIn), Grégoire, Benjamin (BerichterstatterIn), Huisman, Marieke (BerichterstatterIn), Lanet, Jean-Louis (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 2006
Schriftenreihe:	Lecture notes in computer science 3956
Schlagworte:	Computer storage devices > Computer security > Konferenzschrift > Smart Device > Datensicherung > Zugriffskontrolle > Interoperabilität > Eingebettetes System > System-on-Chip > Softwareplattform > Model Checking > Formale Methode
Online Zugang:	Inhaltsverzeichnis Inhaltstext Cover http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3956 Publisher description
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!