Computer Safety, Reliability, and Security : 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings
This book constitutes the refereed proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2013, held in Toulouse, France, in September 2013. The 20 revised full papers presented together with 5 practical experience reports were carefully reviewed and...
Salvato in:
| Autore principale: | |
|---|---|
| Altri autori: | , |
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin, Heidelberg :
Springer Berlin Heidelberg
[20..].
Cham : Springer Nature |
| Serie: | Programming and Software Engineering
8153 |
| Soggetti: | |
| Accesso online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme de l'éditeur (Springer) Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Computer Safety, Reliability, and Security, 9783642407925 • Computer Safety, Reliability, and Security, 9783642407949 |
| LEADER | 03140nam a22003737a 4500 | ||
|---|---|---|---|
| 001 | 947208 | ||
| 008 | 131018q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN172430011 | ||
| 020 | |a 9783642407932 | ||
| 041 | 0 | |a eng | |
| 082 | |a 005.8 | ||
| 100 | 1 | |a Bitsch, Friedemann. | |
| 245 | 1 | 0 | |a Computer Safety, Reliability, and Security : |b 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings |c edited by Friedemann Bitsch, Jérémie Guiochet, Mohamed Kaâniche. |
| 260 | |a Berlin, Heidelberg : |b Springer Berlin Heidelberg. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Programming and Software Engineering |v 8153 |x 2945-9168 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Safety Requirements and Assurance -- Testing and Verification -- Security -- Software Reliability Assessment -- Practical Experience Reports and Tools -- Safety Assurance in Automotive -- Error Control Codes -- Dependable User Interfaces.- Hazard and Failure Mode Analysis. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a This book constitutes the refereed proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2013, held in Toulouse, France, in September 2013. The 20 revised full papers presented together with 5 practical experience reports were carefully reviewed and selected from more than 88 submissions. The papers are organized in topical sections on safety requirements and assurance, testing and verification, security, software reliability assessment, practical experience reports and tools, safety assurance in automotive, error control codes, dependable user interfaces, and hazard and failure mode analysis. | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Guiochet, Jérémie. |4 pbd | |
| 700 | 1 | |a Kaâniche, Mohamed. |4 pbd | |
| 776 | 0 | |t Computer Safety, Reliability, and Security |z 9783642407925 | |
| 776 | 0 | |t Computer Safety, Reliability, and Security |z 9783642407949 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/978-3-642-40793-2 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://doi.org/10.1007/978-3-642-40793-2 |z Accès sur la plateforme de l'éditeur (Springer) | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-NDCLWHQH-N |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747815445 |u https://ezproxy.univ-orleans.fr/login?url=https://dx.doi.org/10.1007/978-3-642-40793-2 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750831863 |u https://ezproxy.insa-cvl.fr/login?qurl=https://dx.doi.org/10.1007/978-3-642-40793-2 |z Accès INSA CVL | |
| 997 | |0 947208 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||