Embedded Software Development For Safety Critical Systems

Embedded Software Development for Safety-Critical Systems  eBooks & eLearning

Posted by ksveta6 at Feb. 3, 2016
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

Formal Techniques for Safety-Critical Systems: 5th International Workshop  eBooks & eLearning

Posted by Jeembo at Oct. 12, 2017
Formal Techniques for Safety-Critical Systems: 5th International Workshop

Formal Techniques for Safety-Critical Systems: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers by Cyrille Artho, Peter Csaba Ölveczky
English | 2017 | ISBN: 3319539450 | 161 Pages | PDF | 7.8 MB

This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016.
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

Embedded Software Development for the Internet Of Things  eBooks & eLearning

Posted by AlenMiler at Sept. 2, 2016
Embedded Software Development for the Internet Of Things

Embedded Software Development for the Internet Of Things: The Basics, the Technologies and Best Practices by Klaus Elk
English | 27 Aug 2016 | ASIN: B01L63C0C0 | 239 Pages | PDF | 14.09 MB

The aim of this book is to help you understand the technologies behind the devices used in the Internet Of Things. This is done with a mixture of theory, examples and 'war-stories'.

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

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.

Formal Techniques for Safety-Critical Systems  eBooks & eLearning

Posted by ChrisRedfield at June 9, 2014
Formal Techniques for Safety-Critical Systems

Cyrille Artho, ‎Peter Csaba Ölveczky - Formal Techniques for Safety-Critical Systems
Published: 2014-04-22 | ISBN: 3319054155 | PDF | 297 pages | 9 MB

Software Engineering for Self-Adaptive Systems III. Assurances  eBooks & eLearning

Posted by AvaxGenius at Jan. 18, 2018
Software Engineering for Self-Adaptive Systems III. Assurances

Software Engineering for Self-Adaptive Systems III. Assurances: International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers By Rogério de Lemos
English | PDF,EPUB | 2017 | 440 Pages | ISBN : 3319741829 | 23.1 MB

A major challenge for modern software systems is to become more cost-effective, while being versatile, flexible, resilient, energy-efficient, customizable, and configurable when reacting to run-time changes that may occur within the system itself, its environment or requirements. One of the most promising approaches to achieving such properties is to equip the software system with self-adaptation capabilities. Despite recent advances in this area, one key aspect that remains to be tackled in depth is the provision of assurances.
Software Engineering for Collective Autonomic Systems: The ASCENS Approach (Repost)

Software Engineering for Collective Autonomic Systems: The ASCENS Approach By Martin Wirsing, Matthias Hölzl, Nora Koch
2015 | 537 Pages | ISBN: 3319163094 | PDF | 24 MB

Formal Methods for Industrial Critical Systems  eBooks & eLearning

Posted by step778 at Dec. 6, 2017
Formal Methods for Industrial Critical Systems

Manuel Núñez, Matthias Güdemann, "Formal Methods for Industrial Critical Systems"
2015 | pages: 220 | ISBN: 3319194577 | PDF | 5,0 mb