Construction and analysis of safe, secure, and interoperable smart devices [electronic resource] : second international workshop, CASSIS 2005, Nice, France, March 8-11, 2005 : revised selected papers / Gilles Barthe ... [et al.] (eds.).
Uloženo v:
| Vydáno: |
Berlin ; New York :
Springer,
c2006.
|
|---|---|
| On-line přístup: | |
| Korporace: | |
| Další autoři: | |
| Edice: | Lecture notes in computer science ;
3956 |
| Témata: | |
| Médium: | Elektronický zdroj Konferenční příspěvek E-kniha |
