Construction and Analysis of Safe, Secure, and Interoperable Smart Devices [Risorsa elettronica] : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers / edited by Gilles Barthe, Benjamin Grégoir |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2006 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540336914 |
Formato | Risorse elettroniche ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009249550403321 |
Berlin ; Heidelberg : Springer, 2006 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices [Risorsa elettronica] : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers / edited by Gilles Barthe, Lilian Burdy, Mar |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2005 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540305699 |
Formato | Risorse elettroniche ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009236340403321 |
Berlin ; Heidelberg : Springer, 2005 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems |
Autore | Huisman Marieke |
Pubbl/distr/stampa | [Place of publication not identified], : Association for Computing Machinery, 2009 |
Descrizione fisica | 1 online resource (42 p.;) |
Collana | ACM Conferences |
Soggetto topico | Information Technology - Computer Science (Hardware & Networks) |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | SAVCBS '09 |
Record Nr. | UNINA-9910375809003321 |
Huisman Marieke
![]() |
||
[Place of publication not identified], : Association for Computing Machinery, 2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|