Computer Safety, Reliability, and Security [[electronic resource] ] : SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings / / edited by Andrea Bondavalli, Andrea Ceccarelli, Frank Ortmeier |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XVIII, 456 p. 155 illus.) |
Disciplina | 005.8 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer logic
Computer organization Software engineering Computer security Logics and Meanings of Programs Computer Systems Organization and Communication Networks Software Engineering Systems and Data Security |
ISBN | 3-319-10557-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Architecting Safety in Collaborative Mobile Systems (ASCoMS'14) -- ERCIM/EWICS/ARTEMIS Workshop on Dependable Embedded and Cyberphysical Systems and Systems-of-Systems (DECSoS’14) -- DEvelopment, Verification and VAlidation of cRiTical Systems (DEVVARTS'14) -- Integration of Safety and Security Engineering (ISSE'14) -- Reliability and Security Aspects for Critical Infrastructure Protection (ReSA4CI'14) -- Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR'14). |
Record Nr. | UNISA-996202530603316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computer Safety, Reliability, and Security : SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings / / edited by Andrea Bondavalli, Andrea Ceccarelli, Frank Ortmeier |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XVIII, 456 p. 155 illus.) |
Disciplina | 005.8 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer logic
Computer organization Software engineering Computer security Logics and Meanings of Programs Computer Systems Organization and Communication Networks Software Engineering Systems and Data Security |
ISBN | 3-319-10557-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Architecting Safety in Collaborative Mobile Systems (ASCoMS'14) -- ERCIM/EWICS/ARTEMIS Workshop on Dependable Embedded and Cyberphysical Systems and Systems-of-Systems (DECSoS’14) -- DEvelopment, Verification and VAlidation of cRiTical Systems (DEVVARTS'14) -- Integration of Safety and Security Engineering (ISSE'14) -- Reliability and Security Aspects for Critical Infrastructure Protection (ReSA4CI'14) -- Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR'14). |
Record Nr. | UNINA-9910483100203321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|