Safety Critical Computer Systems

Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--

Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29–30, 2013. Revised Selected Papers By Cyrille Artho, Peter Csaba Ölveczky (eds.)
2014 | 297 Pages | ISBN: 3319054155 | PDF | 10 MB
Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014(Repost)

Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers by Cyrille Artho
English | 2015 | ISBN: 3319175807 | 257 Pages | PDF | 14.46 MB

Adaptive and Learning-Based Control of Safety-Critical Systems  eBooks & eLearning

Posted by hill0 at May 18, 2023
Adaptive and Learning-Based Control of Safety-Critical Systems

Adaptive and Learning-Based Control of Safety-Critical Systems
English | 2023 | ISBN: 3031293096 | 209 Pages | PDF EPUB (True) | 28 MB
Requirements Engineering for Safety-Critical Systems (River Publishers Series in Software Engineering)

Requirements Engineering for Safety-Critical Systems
by Martins, Luiz Eduardo G.;Gorschek, Tony;

English | 2022 | ISBN: ‎ 8770224277 , 978-8770224277 | 230 pages | True PDF | 6.82 MB

Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops  eBooks & eLearning

Posted by AvaxGenius at Oct. 12, 2022
Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops

Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops: DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE Munich, Germany, September 6–9, 2022, Proceedings by Mario Trapp, Erwin Schoitsch, Jérémie Guiochet, Friedemann Bitsch
English | PDF | 2022 | 360 Pages | ISBN : 3031148614 | 13.7 MB

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.

Development of Safety-Critical Systems: Architecture and Software  eBooks & eLearning

Posted by hill0 at Oct. 12, 2023
Development of Safety-Critical Systems: Architecture and Software

Development of Safety-Critical Systems: Architecture and Software
English | 2023 | ISBN: 303127900X | 614 Pages | PDF EPUB (True) | 33 MB

Electronics: A Systems Approach, 4 edition (repost)  eBooks & eLearning

Posted by interes at Sept. 15, 2018
Electronics: A Systems Approach, 4 edition (repost)

Neil Storey, "Electronics: A Systems Approach, 4 edition"
English | 2009 | ISBN: 0273719181 | 804 pages | PDF | 11,7 MB
Human Error, Safety and Systems Development: IFIP 18th World Computer Congress TC13/WC13.5 7th Working Conference on Human Erro

Human Error, Safety and Systems Development: IFIP 18th World Computer Congress TC13/WC13.5 7th Working Conference on Human Error, Safety and Systems Development 22–27 August 2004 Toulouse, France By C. W. Johnson (auth.), Chris W. Johnson, Philippe Palanque (eds.)
2004 | 322 Pages | ISBN: 1402081529 | PDF | 11 MB

Distributed Real-Time Architecture for Mixed-Criticality Systems  eBooks & eLearning

Posted by Underaglassmoon at Feb. 19, 2019
Distributed Real-Time Architecture for Mixed-Criticality Systems

Distributed Real-Time Architecture for Mixed-Criticality Systems
CRC Press | English | 2019 | ISBN-10: 0815360649 | 522 pages | PDF | 17.53 MB

by Hamidreza Ahmadian (Editor), Roman Obermaisser (Editor), Jon Perez (Editor)
This book describes a cross-domain architecture and design tools for networked complex systems where application subsystems of different criticality coexist and interact on networked multi-core chips
Computer Safety, Reliability, and Security: SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg,

Computer Safety, Reliability, and Security: SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings By Alejandra Ruiz, Tim P. Kelly, Mehrdad Sabetzadeh, Didier Van Den Abeele (auth.), Frank Ortmeier, Peter Daniel (eds.)
2012 | 530 Pages | ISBN: 3642336744 | PDF | 24 MB