Construction and analysis of safe, secure, and interoperable smart devices international workshop, CASSIS 2004, Marseille, France, March 10 - 14, 2004 ; revised selected papers

Literaturangaben

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	CASSIS (BerichterstatterIn)
Weitere Verfasser:	Barthe, Gilles (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 2005
Schriftenreihe:	Lecture notes in computer science 3362
Schlagworte:	Smart cards > Congresses > Data transmission systems > Konferenzschrift > Chipkarte > Datensicherung > Zugriffskontrolle > Interoperabilität > Betriebssystem > Programmierumgebung > Model Checking > Formale Methode
Online Zugang:	Cover Einführung/Vorwort Inhaltsverzeichnis http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3362 Publisher description
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!