Embedded Software Development For Safety Critical

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

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
Embedded Software Development: The Open-Source Approach (Embedded Systems)

Embedded Software Development: The Open-Source Approach (Embedded Systems) by Ivan Cibrario Bertolotti
English | Jan. 4, 2016 | ISBN: 146659392X | 554 Pages | AZW4/PDF (True) | 26.54 MB

Embedded Software Development: The Open-Source Approach delivers a practical introduction to embedded software development, with a focus on open-source components.
Component-Based Software Development for Embedded Systems (Repost)

Colin Atkinson, Christian Bunse, "Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends"
2005 | pages: 353 | ISBN: 3540306447 | PDF | 7,2 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.

Embedded Software Development with C [Repost]  

Posted by ChrisRedfield at Jan. 8, 2015
Embedded Software Development with C [Repost]

Kai Qian, David Den Haring, Li Cao - Embedded Software Development with C
Published: 2009-08-07 | ISBN: 1441906053, 1489984992 | PDF | 390 pages | 10 MB
Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends

Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends (Lecture Notes in Computer Science / Programming and Software Engineering) by Colin Atkinson
Springer; 2005 edition | December 12, 2005 | English | ISBN: 3540306447 | 348 pages | PDF | 12 MB

Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, and jets. Some of these embedded s- tems are safety- or security-critical such as in medical equipment, nuclear plants, and X-by-wire control systems in naval, ground and aerospace transportation - hicles.
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

Embedded Software Development with C [Repost]  

Posted by AlenMiler at July 18, 2014
Embedded Software Development with C [Repost]

Embedded Software Development with C by Kai Qian
Springer | Aug 10 2009 | ISBN: 1441906053 | Pages: 390 | PDF | 10.73 MB

Intelligible presentation of the fundamentals of embedded systems design and development using the C programming language and the 8501 microcontroller.