Computer Safety, Reliability, and Security [[electronic resource] ] : SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings / / edited by Amund Skavhaug, Jérémie Guiochet, Erwin Schoitsch, Friedemann Bitsch
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Computer Safety, Reliability, and Security [[electronic resource] ] : SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings / / edited by Amund Skavhaug, Jérémie Guiochet, Erwin Schoitsch, Friedemann Bitsch
|
| Pubblicazione: | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Edizione: | 1st ed. 2016. |
| Descrizione fisica: | 1 online resource (XIV, 400 p. 130 illus.) |
| Disciplina: | 005.8 |
| Soggetto topico: | Computer logic |
| Computers | |
| Software engineering | |
| Application software | |
| Mathematical logic | |
| Logics and Meanings of Programs | |
| Computation by Abstract Devices | |
| Software Engineering | |
| Computer Applications | |
| Mathematical Logic and Formal Languages | |
| Persona (resp. second.): | SkavhaugAmund |
| GuiochetJérémie | |
| SchoitschErwin | |
| BitschFriedemann | |
| Nota di bibliografia: | Includes bibliographical references and index. |
| Nota di contenuto: | SAFECOMP 2016 Workshops: ASSURE 2016 - Assurance Cases for Software-intensive Systems -- DECSoS 2016 - EWICS/ERCIM/ARTEMIS Dependable Cyber-physical Systems and Systems-of-Systems Workshop -- SASSUR 2016 - Next Generation of System Assurance Approaches for Safety-Critical Systems -- TIPS 2016 –Timing Performance in Safety Engineering. |
| Sommario/riassunto: | This book constitutes the refereed proceedings of four workshops co-located with SAFECOMP 2016, the 35th International Conference on Computer Safety, Reliability, and Security, held in Trondheim, Norway, in September 2016. The 30 revised full papers presented together with 4 short and 5 invited papers were carefully reviewed and selected from numerous submissions. This year’s workshop are: ASSURE 2016 - Assurance Cases for Software-intensive Systems; DECSoS 2016 - EWICS/ERCIM/ARTEMIS Dependable Cyber-physical Systems and Systems-of-Systems Workshop; SASSUR 2016 - Next Generation of System Assurance Approaches for Safety-Critical Systems; and TIPS 2016 – Timing Performance in Safety Engineering. |
| Titolo autorizzato: | Computer Safety, Reliability, and Security |
| ISBN: | 3-319-45480-3 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910484195003321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Programming and Software Engineering ; ; 9923