0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (1)
  • R2,500 - R5,000 (3)
  • -
Status
Brand

Showing 1 - 4 of 4 matches in All Departments

Computer Safety, Reliability, and Security - 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 14-27,... Computer Safety, Reliability, and Security - 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 14-27, 2013, Proceedings (Paperback, 2013 ed.)
Friedemann Bitsch, Jeremie Guiochet, Mohamed Kaaniche
R2,095 R743 Discovery Miles 7 430 Save R1,352 (65%) Out of stock

This book constitutes the refereed proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2013, held in Toulouse, France, in September 2013.

The 20 revised full papers presented together with 5 practical experience reports were carefully reviewed and selected from more than 88 submissions. The papers are organized in topical sections on safety requirements and assurance, testing and verification, security, software reliability assessment, practical experience reports and tools, safety assurance in automotive, error control codes, dependable user interfaces, and hazard and failure mode analysis.

Computer Safety,  Reliability, and Security. SAFECOMP 2022 Workshops - DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE ... 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 - 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23,... Computer Safety, Reliability, and Security - 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings (Paperback, 1st ed. 2016)
Amund Skavhaug, Jeremie Guiochet, Friedemann Bitsch
R1,939 Discovery Miles 19 390 Out of stock

This book constitutes the refereed proceedings of the 35th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2016, held in Trondheim, Norway, in September 2016. The 24 revised full papers presented were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on fault injection, safety assurance, formal verification, automotive, anomaly detection and resilience, cyber security, fault trees, and safety analysis.

Computer Safety, Reliability, and Security - SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway,... 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.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Guilty And Proud - An MK Soldier's…
Marion Sparg Paperback R330 R240 Discovery Miles 2 400
Democracy Works - Re-Wiring Politics To…
Greg Mills, Olusegun Obasanjo, … Paperback R320 R250 Discovery Miles 2 500
Wits University At 100 - From Excavation…
Wits Communications Paperback R390 R305 Discovery Miles 3 050
Biko - Philosophy, Identity And…
Mabogo Percy More Paperback  (3)
R220 R172 Discovery Miles 1 720
Searching For Papa's Secret In Hitler's…
Egonne Roth Paperback R295 R231 Discovery Miles 2 310
The People's War - Reflections Of An ANC…
Charles Nqakula Paperback R325 R254 Discovery Miles 2 540
A Handful Of Summers
Gordon Forbes Paperback  (1)
R563 R511 Discovery Miles 5 110
1 Recce: Volume 3 - Onsigbaarheid Is Ons…
Alexander Strachan Paperback R360 R309 Discovery Miles 3 090
Safari Nation - A Social History Of The…
Jacob Dlamini Paperback R320 R250 Discovery Miles 2 500
SAS: Rogue Heroes - The Authorized…
Ben MacIntyre Paperback  (1)
R319 R273 Discovery Miles 2 730

 

Partners