Safety Critical Applications Onto Open Integrated Architectures

Electronics System Design Techniques for Safety Critical Applications (repost)

Luca Sterpone, "Electronics System Design Techniques for Safety Critical Applications"
Sp ge r | 2008 | ISBN: 1402089783 | 164 pages | PDF | 1 MB
Electronics System Design Techniques for Safety Critical Applications

Luca Sterpone “Electronics System Design Techniques for Safety Critical Applications"
Springer | 2008-11-01 | ISBN: 1402089783 | 164 pages | PDF | 1,28 MB

Formal Techniques for Safety-Critical Systems  eBooks & eLearning

Posted by roxul at July 24, 2016
Formal Techniques for Safety-Critical Systems

Cyrille Artho and Ölveczky, Peter, "Formal Techniques for Safety-Critical Systems"
English | ISBN: 3319295098 | 2016 | 284 pages | PDF | 14 MB

Building Web Applications with Open-Source Software on Windows [repost]  eBooks & eLearning

Posted by naag at May 28, 2016
Building Web Applications with Open-Source Software on Windows [repost]

Building Web Applications with Open-Source Software on Windows
Duration: 2h 30m | Video: AVC (.mp4) 1024x768 15fps | Audio: AAC 44.1KHz 2ch | 637MB
Genre: eLearning | Level: Intermediate | Language: English
Embedded Software Development for Safety-Critical Systems

Embedded Software Development for Safety-Critical Systems by Chris Hobbs
2015 | ISBN: 1498726704 | English | 364 pages | PDF | 19 MB
Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance

Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance by Leanna Rierson
English | 2013 | ISBN: 143981368X | 610 pages | PDF | 4,7 MB

Formal Techniques for Safety-Critical Systems  eBooks & eLearning

Posted by andr1078 at May 14, 2015
Formal Techniques for Safety-Critical Systems

Cyrille Artho, Peter Csaba Ölveczky "Formal Techniques for Safety-Critical Systems"
Publisher: Springer | English | 2015 | ISBN:3319175807 | 257 pages | PDF | 14.4 MB

This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014.
Reconfigurable Field Programmable Gate Arrays for Mission-Critical Applications (Repost)

Reconfigurable Field Programmable Gate Arrays for Mission-Critical Applications by Niccolò Battezzati
English | 2010 | ISBN: 1441975942 | 229 Pages | PDF | 5 MB

Embedded systems applications that are either mission or safety-critical usually entail low- to mid- production volumes, require the rapid development of specific tasks, which are typically computing intensive, and are cost bounded.
Crisis Response and Management and Emerging Information Systems: Critical Applications (repost)

Crisis Response and Management and Emerging Information Systems: Critical Applications by Murray E. Jennex
English | 2011 | ISBN: 1609606094 | 327 pages | PDF | 8,1 MB

Crisis Response and Management and Emerging Information Systems: Critical Applications provides a comprehensive, cross disciplinary look at the advancing and understanding of organizational, technical, human, and cognitive issues associated with the use of information systems in responding and managing crises of all kinds.
Reliability of Safety-Critical Systems: Theory and Applications

Marvin Rausand, "Reliability of Safety-Critical Systems: Theory and Applications"
2014 | ISBN-10: 1118112725 | 466 pages | PDF | 18 MB