Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings /
This book constitutes the refereed proceedings of five workshops co-located with SAFECOMP 2018, the 37th International Conference on Computer Safety, Reliability, and Security, held in Västerås, Sweden, in September 2018. The 28 revised full papers and 21 short papers presented together with 5 int...
Corporate Author: | SpringerLink (Online service) |
---|---|
Other Authors: | Gallina, Barbara (Editor, http://id.loc.gov/vocabulary/relators/edt), Skavhaug, Amund (Editor, http://id.loc.gov/vocabulary/relators/edt), Schoitsch, Erwin (Editor, http://id.loc.gov/vocabulary/relators/edt), Bitsch, Friedemann (Editor, http://id.loc.gov/vocabulary/relators/edt) |
Format: | Electronic eBook |
Language: | English |
Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2018.
|
Edition: | 1st ed. 2018. |
Series: | Programming and Software Engineering ;
11094 |
Subjects: | |
Online Access: | Full Text via HEAL-Link |
Similar Items
-
Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers /
Published: (2018) -
Correct Hardware Design and Verification Methods 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings /
Published: (2003) -
Formal Methods in Computer-Aided Design 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings /
Published: (2004) -
VLSI Design and Test 23rd International Symposium, VDAT 2019, Indore, India, July 4-6, 2019, Revised Selected Papers /
Published: (2019) -
Computer Vision - ACCV 2018 Workshops 14th Asian Conference on Computer Vision, Perth, Australia, December 2-6, 2018, Revised Selected Papers /
Published: (2019)