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 by Chris Hobbs
2015 | ISBN: 1498726704 | English | 364 pages | PDF | 19 MB
2015 | ISBN: 1498726704 | English | 364 pages | PDF | 19 MB
Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014(Repost) eBooks & eLearning
Posted by thingska at April 11, 2017
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
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: The Basics, the Technologies and Best Practices by Klaus Elk
English | 27 Aug 2016 | ASIN: B01L63C0C0 | 239 Pages | PDF | 14.09 MB
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
Cyrille Artho and Ölveczky, Peter, "Formal Techniques for Safety-Critical Systems"
English | ISBN: 3319295098 | 2016 | 284 pages | PDF | 14 MB
English | ISBN: 3319295098 | 2016 | 284 pages | PDF | 14 MB
Formal Techniques for Safety-Critical Systems eBooks & eLearning
Posted by andr1078 at May 14, 2015
Cyrille Artho, Peter Csaba Ölveczky "Formal Techniques for Safety-Critical Systems"
Publisher: Springer | English | 2015 | ISBN:3319175807 | 257 pages | PDF | 14.4 MB
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
Cyrille Artho, Peter Csaba Ölveczky - Formal Techniques for Safety-Critical Systems
Published: 2014-04-22 | ISBN: 3319054155 | PDF | 297 pages | 9 MB
CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems [Repost] eBooks & eLearning
Posted by ChrisRedfield at Nov. 17, 2015
![CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems [Repost]](http://pxhst.co/avaxhome/9d/65/0039659d_medium.jpeg)
Ajitha Rajan, Thomas Wahl - CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems
Published: 2013-03-26 | ISBN: 3709113865, 3709117259 | PDF | 391 pages | 6.59 MB
CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems eBooks & eLearning
Posted by tukotikko at Dec. 28, 2013
CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems By Ajitha Rajan, Thomas Wahl
2013 | 402 Pages | ISBN: 3709113865 | PDF | 7 MB
2013 | 402 Pages | ISBN: 3709113865 | PDF | 7 MB
Software Engineering for Collective Autonomic Systems: The ASCENS Approach (repost) eBooks & eLearning
Posted by interes at Feb. 15, 2017
Software Engineering for Collective Autonomic Systems: The ASCENS Approach (Lecture Notes in Computer Science, Book 8998) by Martin Wirsing and Matthias Hölzl
English | 2015 | ISBN: 3319163094 | 535 pages | PDF | 23,5 MB
English | 2015 | ISBN: 3319163094 | 535 pages | PDF | 23,5 MB
Reliability of Safety-Critical Systems: Theory and Applications (repost) eBooks & eLearning
Posted by interes at Jan. 8, 2017
Reliability of Safety-Critical Systems: Theory and Applications by Marvin Rausand
English | 2014 | ISBN-10: 1118112725 | 466 pages | PDF | 18 MB
English | 2014 | ISBN-10: 1118112725 | 466 pages | PDF | 18 MB