Construction and analysis of safe, secure, and interoperable smart devices: second international wor… - SLUB Dresden

Media type: Book; Conference Proceedings

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

Contributor: Barthe, Gilles [Editor]; Grégoire, Benjamin [Other]; Huisman, Marieke [Other]; Lanet, Jean-Louis [Other]

Event: CASSIS

Published: Berlin; Heidelberg [u.a.]: Springer, 2006

Extent: VI, 173 S.; Ill., graph. Darst; 235 mm x 155 mm

Language: English

ISBN: 3540336893; 9783540336891

Publisher, production or purchase order numbers: Sonstige Nummer: 11741060

RVK notation: SS 4800 : Lecture notes in computer science

Keywords: Smart Device > Datensicherung > Zugriffskontrolle > Interoperabilität
Eingebettetes System > Smart Device > System-on-Chip
Smart Device > Softwareplattform > Model Checking > Formale Methode
Smart Device > Datensicherung > Zugriffskontrolle > Interoperabilität
Eingebettetes System > Smart Device > System-on-Chip
Smart Device > Softwareplattform > Model Checking > Formale Methode

Origination:

Footnote: Literaturangaben

Construction and analysis of safe, secure, and interoperable smart devices

Bookmarks

copies

Departmental Library DrePunct – stack

Search in field:

Recently searched for:

Departmental Library DrePunct – stack