Construction and analysis of safe, secure, and interoperable smart devices : international workshop ; revised selected papers

Construction and analysis of safe, secure, and interoperable smart devices international workshop ; revised selected papers

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: CASSIS (BerichterstatterIn)
Weitere Verfasser: Barthe, Gilles (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin u.a. Springer 2005
Schriftenreihe:Lecture notes in computer science 3362
Schlagworte:
Konferenzschrift > Chipkarte > Datensicherung > Zugriffskontrolle > Interoperabilität > Betriebssystem > Programmierumgebung > Model Checking > Formale Methode
Online Zugang:Full Text
Vorwort
Inhaltsverzeichnis
Buchumschlag
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:VI, 256 S. : graph. Darst.
ISBN:3540242872