NASA formal methods : 5th International symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented together with 9 short papers talks were carefully reviewed and selected from 99 submissions. The to...
Enregistré dans:
| Autres auteurs: | , , |
|---|---|
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin, Heidelberg :
Springer Berlin Heidelberg
[20..].
Cham : Springer Nature |
| Édition: | 1st ed. 2013. |
| Collection: | Programming and Software Engineering
7871 |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • NASA Formal Methods, Texte imprimé, 9783642380877 • NASA Formal Methods, Texte imprimé, 9783642380891 |
| LEADER | 02810nam a22003617a 4500 | ||
|---|---|---|---|
| 001 | 946626 | ||
| 008 | 130704q2000 xx ||| |||| 00| 0 eng d | ||
| 009 | PPN17049179X | ||
| 020 | |a 9783642380884 | ||
| 041 | 0 | |a eng | |
| 082 | |a 005.1 | ||
| 245 | 0 | 0 | |a NASA formal methods : |b 5th International symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings |c edited by Guillaume Brat, Neha Rungta, Arnaud Venet. |
| 250 | |a 1st ed. 2013. | ||
| 260 | |a Berlin, Heidelberg : |b Springer Berlin Heidelberg. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Programming and Software Engineering |v 7871 |x 2945-9168 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 1 | |a Model checking Applications of formal methods Complex systems Static analysis Symbolic execution Requirements and specifications Probabilistic and statistical analysis.- Theorem proving | |
| 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 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented together with 9 short papers talks were carefully reviewed and selected from 99 submissions. The topics are organized in topical sections on model checking; applications of formal methods; complex systems; static analysis; symbolic execution; requirements and specifications; probabilistic and statistical analysis; and theorem proving | ||
| 700 | 1 | |a Brat, Guillaume, |d 19..- |4 pbd | |
| 700 | 1 | |a Rungta, Neha, |d 19..- |4 pbd | |
| 700 | 1 | |a Venet, Arnaud, |d 19..-...., |c chercheur à la NASA. |4 pbd | |
| 776 | 0 | |t NASA Formal Methods |b Texte imprimé |z 9783642380877 | |
| 776 | 0 | |t NASA Formal Methods |b Texte imprimé |z 9783642380891 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/978-3-642-38088-4 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-S752Q0JX-C |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747821453 |u https://ezproxy.univ-orleans.fr/login?url=https://dx.doi.org/10.1007/978-3-642-38088-4 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750838213 |u https://ezproxy.insa-cvl.fr/login?qurl=https://dx.doi.org/10.1007/978-3-642-38088-4 |z Accès INSA CVL | |
| 997 | |0 946626 |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/ | ||