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...
| Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
|---|---|
| Άλλοι συγγραφείς: | Gallina, Barbara (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Skavhaug, Amund (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Schoitsch, Erwin (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Bitsch, Friedemann (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt) |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Cham :
Springer International Publishing : Imprint: Springer,
2018.
|
| Έκδοση: | 1st ed. 2018. |
| Σειρά: | Programming and Software Engineering ;
11094 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
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 /
Έκδοση: (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 /
Έκδοση: (2003) -
Formal Methods in Computer-Aided Design 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings /
Έκδοση: (2004) -
VLSI Design and Test 23rd International Symposium, VDAT 2019, Indore, India, July 4-6, 2019, Revised Selected Papers /
Έκδοση: (2019) -
Computer Vision - ACCV 2018 Workshops 14th Asian Conference on Computer Vision, Perth, Australia, December 2-6, 2018, Revised Selected Papers /
Έκδοση: (2019)