Synthesis of Embedded Software : Frameworks and Methodologies for Correctness by Construction
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction Edited by: Sandeep Kumar Shukla Jean-Pierre Talpin Embedded software is ubiquitous today. There are millions of lines of embedded code in smart phones, and even more in systems responsible for automotive con...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | , |
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
New York, NY :
Springer US
2010.
Cham : Springer Nature |
| On-line přístup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Poznámka: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Synthesis of Embedded Software, Frameworks and Methodologies for Correctness by Construction, editors, Sandeep K. Shukla, Jean-Pierre Talpins, [S.l.], Springer Verlag, 2010, 1 vol. (IX-266 p.), 978-1-441-96399-4 • Synthesis of Embedded Software, Texte imprimé, 9781441964014 • Synthesis of Embedded Software, Texte imprimé, 9781489987372 |