|
Showing 1 - 10 of
10 matches in All Departments
|
Computer Safety, Reliability, and Security - SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Vasteras, Sweden, September 18, 2018, Proceedings (Paperback, 1st ed. 2018)
Barbara Gallina, Amund Skavhaug, Erwin Schoitsch, Friedemann Bitsch
|
R2,474
R2,108
Discovery Miles 21 080
Save R366 (15%)
|
Out of stock
|
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 Vasteras,
Sweden, in September 2018. The 28 revised full papers and 21 short
papers presented together with 5 introductory papers to each
workshop were carefully reviewed and selected from 73 submissions.
This year's workshops are: ASSURE 2018 - Assurance Cases for
Software-Intensive Systems; DECSoS 2018 - ERCIM/EWICS/ARTEMIS
Dependable Smart Embedded and Cyber-Physical Systems and
Systems-of-Systems; SASSUR 2018 - Next Generation of System
Assurance Approaches for Safety-Critical Systems; STRIVE 2018 -
Safety, securiTy, and pRivacy In automotiVe systEms; and WAISE 2018
- Artificial Intelligence Safety Engineering. The chapter '"Boxing
Clever": Practical Techniques for Gaining Insights into Training
Data and Monitoring Distribution Shift' is available open access
under an Open Government License via link.springer.com.
|
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE , Toulouse, France, September 19, 2023, Proceedings (1st ed. 2023)
Jérémie Guiochet, Stefano Tonetta, Erwin Schoitsch, Matthieu Roy, Friedemann Bitsch
|
R1,905
Discovery Miles 19 050
|
Ships in 12 - 17 working days
|
This book constitutes the proceedings of the Workshops held in
conjunction with SAFECOMP 2023, held in Toulouse, France, during
September 19, 2023. The 35 full papers included in this volume were
carefully reviewed and selected from 49 submissions.Â
-Â Â Â Â -Â 8th International Workshop
on Assurance Cases for Software-intensive Systems (ASSURE 2023)
-Â Â Â Â -Â 18th International
Workshop on Dependable Smart Embedded and Cyber-Physical Systems
and Systems-of-Systems (DECSoS 2023) -Â Â Â
 - 10th International Workshop on Next Generation of
System Assurance Approaches for Critical Systems (SASSUR 2023)
-Â Â Â Â -Â Second International
Workshop on Security and Safety Interactions (SENSEI 2023) -Â
   - First International Workshop on
Safety/ Reliability/ Trustworthiness of Intelligent Transportation
Systems (SRToITS 2023) -Â Â Â Â -Â 6th
International Workshop on Artificial Intelligence Safety
Engineering (WAISE 2023)
SAFECOMP '96 contains papers presented at the 15th International
Conference on Computer Safety, Reliability and Security held in
Vienna, Austria, 23-25 October 1996. The conference aimed to
provide an opportunity for technical developers and users to
discuss and review their experiences, to consider the best
technologies currently available, and to identify the skills and
technologies required for the future. SAFECOMP '96 focuses on
critical computer applications and is intended as a platform for
technology transfer between academia, industry and research
institutions. SAFECOMP '96 will be of interest to all those in
universities, research institutions, industry and business who want
to be well-informed about the current international state of the
art in computer safety, reliability and security.
|
Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops - DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE Munich, Germany, September 6-9, 2022, Proceedings (Paperback, 1st ed. 2022)
Mario Trapp, Erwin Schoitsch, Jeremie Guiochet, Friedemann Bitsch
|
R2,856
Discovery Miles 28 560
|
Out of stock
|
This book constitutes the proceedings of the Workshops held in
conjunction with SAFECOMP 2022, which took place in Munich,
Germany, in September 2022.The 23 full papers included in this
volume were carefully reviewed and selected from 27 submissions. *
17th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart
Embedded Cyber-Physical Systems and Systems-of-Systems (DECSoS
2021) * 3rd International Workshop on Dependable
Development-Operation Continuum Methods for Dependable
Cyber-Physical System (DepDevOps 2022) * 9th International Workshop
on Next Generation of System Assurance Approaches for Critical
Systems (SASSUR 2022) * 1st International Workshop on Security and
Safety Interaction (SENSEI 2022) * 3rd International Workshop on
Underpinnings for Safe Distributed Artificial Intelligence (USDAI
2022) * 5th International Workshop on Artificial Intelligence
Safety Engineering (WAISE 2022)
|
Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops - DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings (Paperback, 1st ed. 2021)
Ibrahim Habli, Mark Sujan, Simos Gerasimou, Erwin Schoitsch, Friedemann Bitsch
|
R1,683
Discovery Miles 16 830
|
Out of stock
|
This book constitutes the proceedings of the Workshops held in
conjunction with SAFECOMP 2021, the 40th International Conference
on Computer Safety, Reliability and Security, which took place in
York, UK, in September 2021. The 26 regular papers included in this
volume were carefully reviewed and selected from 34 submissions.
The workshops included in this volume are: DECSoS 2021: 16th
Workshop on Dependable Smart Embedded and Cyber-Physical Systems
and Systems-of-Systems WAISE 2021: Fourth International Workshop on
Artificial Intelligence Safety Engineering DepDevOps 2021: Second
International Workshop on Dependable Development-Operation
Continuum Methods for Dependable Cyber-Physical Systems USDAI 2021:
Second International Workshop on Underpinnings for Safe Distributed
AI MAPSOD 2021: First International Workshop on Multi-concern
Assurance Practices in Software Design
|
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops - DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings (Paperback, 1st ed. 2020)
Antonio Casimiro, Frank Ortmeier, Erwin Schoitsch, Friedemann Bitsch, Pedro Ferreira
|
R2,633
Discovery Miles 26 330
|
Out of stock
|
This book constitutes the proceedings of the Workshops held in
conjunction with SAFECOMP 2020, 39th International Conference on
Computer Safety, Reliability and Security, Lisbon, Portugal,
September 2020. The 26 regular papers included in this volume were
carefully reviewed and selected from 45 submissions; the book also
contains one invited paper. The workshops included in this volume
are: DECSoS 2020: 15th Workshop on Dependable Smart Embedded and
Cyber-Physical Systems and Systems-of-Systems. DepDevOps 2020:
First International Workshop on Dependable Development-Operation
Continuum Methods for Dependable Cyber-Physical Systems. USDAI
2020: First International Workshop on Underpinnings for Safe
Distributed AI. WAISE 2020: Third International Workshop on
Artificial Intelligence Safety Engineering. The workshops were held
virtually due to the COVID-19 pandemic.
|
Computer Safety, Reliability, and Security - SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings (Paperback, 1st ed. 2017)
Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch
|
R1,983
Discovery Miles 19 830
|
Out of stock
|
This book constitutes the refereed proceedings of five workshops
co-located with SAFECOMP 2017, the 36th International Conference on
Computer Safety, Reliability, and Security, held in Trento, Italy,
in September 2017. The 38 revised full papers presented together
with 5 introductory papers to each workshop, and three invited
papers, were carefully reviewed and selected from 49 submissions.
This year's workshops are: ASSURE 2017 - Assurance Cases for
Software-Intensive Systems; DECSoS 2017 - ERCIM/EWICS/ARTEMIS
Dependable Embedded and Cyber-Physical Systems and
Systems-of-Systems; SASSUR 2017 - Next Generation of System
Assurance Approaches for Safety-Critical Systems; TIPS 2017 -
Timing Performance in Safety Engineering; TELERISE 2017 Technical
and legal Aspects of Data Privacy and Security.
|
Computer Safety, Reliability, and Security - 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings (Paperback, 1st ed. 2017)
Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch
|
R2,342
R1,109
Discovery Miles 11 090
Save R1,233 (53%)
|
Out of stock
|
This book constitutes the refereed proceedings of the 36th
International Conference on ComputerSafety, Reliability, and
Security, SAFECOMP 2017, held in Trento, Italy, in September
2017.The 22 revised full papers and two abstracts of keynotes
presented were carefully reviewed and selected from 65 submissions.
The papers are organized in topical sections on dynamic fault
trees; safety case and argumentation; formal verification;
autonomous systems; static analysis and testing; safety analysis
and assessment; safety and security.
|
Computer Safety, Reliability, and Security - SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings (Paperback, 1st ed. 2016)
Amund Skavhaug, Jeremie Guiochet, Erwin Schoitsch, Friedemann Bitsch
|
R2,189
Discovery Miles 21 890
|
Out of stock
|
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.
|
Computer Safety, Reliability, and Security - SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings (Paperback, 1st ed. 2019)
Alexander Romanovsky, Elena Troubitsyna, Ilir Gashi, Erwin Schoitsch, Friedemann Bitsch
|
R1,865
Discovery Miles 18 650
|
Out of stock
|
This book constitutes the proceedings of the Workshops held in
conjunction with SAFECOMP 2019, 38th International Conference on
Computer Safety, Reliability and Security, in September 2019 in
Turku, Finland. The 32 regular papers included in this volume were
carefully reviewed and selected from 43 submissions; the book also
contains two invited papers. The workshops included in this volume
are: ASSURE 2019: 7th International Workshop on Assurance Cases for
Software-Intensive Systems DECSoS 2019: 14th ERCIM/EWICS/ARTEMIS
Workshop on Dependable Smart Embedded and Cyber-Physical Systems
and Systems-of-Systems SASSUR 2019: 8th International Workshop on
Next Generation of System Assurance Approaches for Safety-Critical
Systems STRIVE 2019: Second International Workshop on Safety,
securiTy, and pRivacy In automotiVe systEms WAISE 2019: Second
International Workshop on Artificial Intelligence Safety
Engineering
|
You may like...
The Survivors
Jane Harper
Paperback
R493
R448
Discovery Miles 4 480
Southern Man
Greg Iles
Paperback
R420
R280
Discovery Miles 2 800
It Ends With Us
Colleen Hoover
Paperback
(5)
R296
R212
Discovery Miles 2 120
New Times
Rehana Rossouw
Paperback
(1)
R250
R195
Discovery Miles 1 950
|