Eintrag weiter verarbeiten
Online-Ressource

NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings

Gespeichert in:

Personen und Körperschaften: Brat, Guillaume (VerfasserIn), Rungta, Neha (Sonstige), Venet, Arnaud (Sonstige)
Titel: NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings/ edited by Guillaume Brat, Neha Rungta, Arnaud Venet
Format: E-Book Konferenzbericht
Sprache: Englisch
veröffentlicht:
Berlin, Heidelberg Springer 2013
Gesamtaufnahme: SpringerLink
Lecture notes in computer science ; 7871
Schlagwörter:
Logic design
Computer Science
Computer science
Software engineering
Operating systems (Computers)
Compilers (Computer programs).
Computer programming.
Konferenzschrift > 2013 > Moffett Field, Calif.
Konferenzschrift
Druckausg.: NASA formal methods, Berlin : Springer, 2013, XXIV, 486 S.
Quelle: Verbunddaten SWB
Zugangsinformationen: Elektronischer Volltext - Campuslizenz
LEADER 06977cam a22015012 4500
001 0-165240354X
003 DE-627
005 20240122104936.0
007 cr uuu---uuuuu
008 130606s2013 gw |||||o 00| ||eng c
020 |a 9783642380884  |9 978-3-642-38088-4 
024 7 |a 10.1007/978-3-642-38088-4  |2 doi 
035 |a (DE-627)165240354X 
035 |a (DE-576)383257816 
035 |a (DE-599)BSZ383257816 
035 |a (OCoLC)852531676 
035 |a (DE-He213)978-3-642-38088-4 
035 |a (EBP)040548198 
040 |a DE-627  |b ger  |c DE-627  |e rakwb 
041 |a eng 
044 |c XA-DE  |c XA-DE-BE 
050 0 |a QA76.758 
072 7 |a UMZ  |2 bicssc 
072 7 |a COM051230  |2 bisacsh 
084 |a SS 4800  |q SEPA  |2 rvk  |0 (DE-625)rvk/143528: 
084 |a 54.52  |2 bkl 
084 |a 54.71  |2 bkl 
084 |a 54.10  |2 bkl 
100 1 |a Brat, Guillaume  |4 aut 
245 1 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 
264 1 |a Berlin, Heidelberg  |b Springer  |c 2013 
300 |a Online-Ressource (XXIV, 486 p. 164 illus, digital) 
336 |a Text  |b txt  |2 rdacontent 
337 |a Computermedien  |b c  |2 rdamedia 
338 |a Online-Ressource  |b cr  |2 rdacarrier 
490 1 |a Lecture Notes in Computer Science  |v 7871 
490 0 |a SpringerLink  |a Bücher 
500 |a Literaturangaben 
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 
650 0 |a Logic design 
650 0 |a Computer Science 
650 0 |a Computer science 
650 0 |a Software engineering 
650 0 |a Operating systems (Computers) 
650 0 |a Logic design 
650 0 |a Computer science 
650 0 |a Software engineering 
650 0 |a Operating systems (Computers) 
650 0 |a Compilers (Computer programs). 
650 0 |a Computer programming. 
655 7 |a Konferenzschrift  |y 2013  |z Moffett Field, Calif.  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
655 7 |a Konferenzschrift  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
689 0 0 |D s  |0 (DE-588)4333722-3  |0 (DE-627)148061516  |0 (DE-576)21134253X  |a Formale Methode  |2 gnd 
689 0 1 |D s  |0 (DE-588)4135576-3  |0 (DE-627)10566409X  |0 (DE-576)209661925  |a Programmverifikation  |2 gnd 
689 0 2 |D s  |0 (DE-588)4434799-6  |0 (DE-627)222527455  |0 (DE-576)212412167  |a Model Checking  |2 gnd 
689 0 3 |D s  |0 (DE-588)4069034-9  |0 (DE-627)106104462  |0 (DE-576)209175370  |a Automatisches Beweisverfahren  |2 gnd 
689 0 4 |D s  |0 (DE-588)4116522-6  |0 (DE-627)104616369  |0 (DE-576)209502258  |a Softwareentwicklung  |2 gnd 
689 0 5 |D s  |0 (DE-588)4056186-0  |0 (DE-627)10615544X  |0 (DE-576)209116919  |a Softwarespezifikation  |2 gnd 
689 0 5 |D s  |0 (DE-588)4126945-7  |0 (DE-627)104636866  |0 (DE-576)209589426  |a Systementwicklung  |2 gnd 
689 0 |5 DE-101 
700 1 |a Rungta, Neha  |4 oth 
700 1 |a Venet, Arnaud  |4 oth 
776 1 |z 9783642380877 
776 0 8 |i Druckausg.  |t NASA formal methods  |d Berlin : Springer, 2013  |h XXIV, 486 S.  |w (DE-627)741184427  |w (DE-576)383236916  |z 3642380875  |z 9783642380877 
830 0 |a Lecture notes in computer science  |v 7871  |9 7871  |w (DE-627)316228877  |w (DE-576)093890923  |w (DE-600)2018930-8  |x 1611-3349  |7 ns 
856 4 0 |u https://doi.org/10.1007/978-3-642-38088-4  |m X:SPRINGER  |x Verlag  |z lizenzpflichtig  |3 Volltext 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-38088-4  |x Resolving-System  |z lizenzpflichtig  |3 Volltext 
856 4 2 |u https://swbplus.bsz-bw.de/bsz383257816cov.jpg  |m V:DE-576  |m X:springer  |q image/jpeg  |v 20140212102425  |3 Cover 
856 4 2 |u http://deposit.d-nb.de/cgi-bin/dokserv?id=4293191&prov=M&dok_var=1&dok_ext=htm  |m X: MVB  |q text/html  |v 2013-05-01  |x Verlag  |3 Inhaltstext 
889 |w (DE-627)749322810 
912 |a ZDB-2-LNC  |b 2013 
912 |a ZDB-2-SCS  |b 2013 
912 |a ZDB-2-SEB 
912 |a ZDB-2-SXCS  |b 2013 
912 |a ZDB-2-SEB  |b 2013 
935 |h GBV  |i ExPruef 
936 r v |a SS 4800  |b Lecture notes in computer science  |k Informatik  |k Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen  |k Schriftenreihen (indiv. Sign.)  |k Lecture notes in computer science  |0 (DE-627)1271461242  |0 (DE-625)rvk/143528:  |0 (DE-576)201461242 
936 b k |a 54.52  |j Software engineering  |q SEPA  |0 (DE-627)106418882 
936 b k |a 54.71  |j Logikprogrammierung  |q SEPA  |0 (DE-627)106418912 
936 b k |a 54.10  |j Theoretische Informatik  |q SEPA  |0 (DE-627)106418815 
951 |a BO 
950 |a Software 
950 |a Entwicklung 
950 |a Softwareentwurf 
950 |a Programmentwicklung 
950 |a Programmentwurf 
950 |a Software Engineering 
950 |a Programmierung 
950 |a Softwareentwickler 
950 |a Webentwicklung 
950 |a Разработка программного обеспечения 
950 |a Systems development 
950 |a Systemanalyse 
950 |a Systemplanung 
950 |a Развитие системы 
950 |a Verifikation 
950 |a Hoare-Logik 
950 |a Beweis 
950 |a Automatisierung 
950 |a Maschinelles Beweisverfahren 
950 |a Mechanisches Beweisverfahren 
950 |a Theorembeweisen 
950 |a Automatisches Theorembeweisen 
950 |a Automated theorem proving 
950 |a Automatic theorem proving 
950 |a Automatisches Beweisen 
950 |a Theorem 
950 |a Beweissystem 
950 |a Автоматическое доказательство 
950 |a Programmspezifikation 
950 |a Spezifikation 
950 |a Systementwurfsbeschreibung 
950 |a Informatik 
950 |a Formales Verfahren 
950 |a Methode 
950 |a Modellprüfung 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-38088-4  |9 DE-14 
852 |a DE-14  |x epn:3359845390  |z 2013-06-06T14:18:45Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-38088-4  |9 DE-15 
852 |a DE-15  |x epn:3359845420  |z 2013-06-06T14:18:45Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-38088-4  |9 DE-Ch1 
852 |a DE-Ch1  |x epn:3359845463  |z 2013-06-06T14:18:45Z 
976 |h Elektronischer Volltext - Campuslizenz 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-38088-4  |z Zum Online-Dokument  |9 DE-Zi4 
852 |a DE-Zi4  |x epn:3359845498  |z 2013-06-06T14:18:45Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-38088-4  |9 DE-520 
852 |a DE-520  |x epn:3359845528  |z 2013-06-06T14:18:45Z 
980 |a 165240354X  |b 0  |k 165240354X  |o 383257816 
openURL url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fvufind.svn.sourceforge.net%3Agenerator&rft.title=NASA+Formal+Methods%3A+5th+International+Symposium%2C+NFM+2013%2C+Moffett+Field%2C+CA%2C+USA%2C+May+14-16%2C+2013.+Proceedings&rft.date=2013&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=NASA+Formal+Methods%3A+5th+International+Symposium%2C+NFM+2013%2C+Moffett+Field%2C+CA%2C+USA%2C+May+14-16%2C+2013.+Proceedings&rft.series=Lecture+notes+in+computer+science%2C+7871&rft.au=Brat%2C+Guillaume&rft.pub=Springer&rft.edition=&rft.isbn=3642380883
SOLR
_version_ 1792258606763081728
access_facet Electronic Resources
author Brat, Guillaume
author2 Rungta, Neha, Venet, Arnaud
author2_role oth, oth
author2_variant n r nr, a v av
author_facet Brat, Guillaume, Rungta, Neha, Venet, Arnaud
author_role aut
author_sort Brat, Guillaume
author_variant g b gb
callnumber-first Q - Science
callnumber-label QA76
callnumber-raw QA76.758
callnumber-search QA76.758
callnumber-sort QA 276.758
callnumber-subject QA - Mathematics
collection ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS
contents 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
ctrlnum (DE-627)165240354X, (DE-576)383257816, (DE-599)BSZ383257816, (OCoLC)852531676, (DE-He213)978-3-642-38088-4, (EBP)040548198
de15_date 2013-06-06T14:18:45Z
dech1_date 2013-06-06T14:18:45Z
doi_str_mv 10.1007/978-3-642-38088-4
era_facet 2013
facet_912a ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS
facet_avail Online
facet_local_del330 Formale Methode, Programmverifikation, Model Checking, Automatisches Beweisverfahren, Softwareentwicklung, Softwarespezifikation, Systementwicklung
finc_class_facet Informatik, Mathematik
fincclass_txtF_mv science-computerscience
footnote Literaturangaben
format eBook, ConferenceProceedings
format_access_txtF_mv Book, E-Book
format_de105 Ebook
format_de14 Book, E-Book
format_de15 Book, E-Book
format_del152 Buch
format_detail_txtF_mv text-online-monograph-independent
format_dezi4 e-Book
format_finc Book, E-Book
format_legacy ElectronicBook
format_legacy_nrw Book, E-Book
format_nrw Book, E-Book
format_strict_txtF_mv E-Book
genre Konferenzschrift 2013 Moffett Field, Calif. (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content
genre_facet Konferenzschrift
geogr_code not assigned
geogr_code_person not assigned
geographic_facet Moffett Field, Calif.
hierarchy_parent_id 0-316228877
hierarchy_parent_title Lecture notes in computer science
hierarchy_sequence 7871
hierarchy_top_id 0-316228877
hierarchy_top_title Lecture notes in computer science
id 0-165240354X
illustrated Not Illustrated
imprint Berlin, Heidelberg, Springer, 2013
imprint_str_mv Berlin, Heidelberg: Springer, 2013
institution DE-14, DE-Zi4, DE-Ch1, DE-520, DE-15
is_hierarchy_id 0-165240354X
is_hierarchy_title NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
isbn 9783642380884
isbn_isn_mv 9783642380877, 3642380875
issn_isn_mv 1611-3349
kxp_id_str 165240354X
language English
last_indexed 2024-02-29T18:23:18.109Z
local_heading_facet_dezwi2 Logic design, Computer Science, Computer science, Software engineering, Operating systems (Computers), Compilers (Computer programs)., Computer programming., Formale Methode, Programmverifikation, Model Checking, Automatisches Beweisverfahren, Softwareentwicklung, Softwarespezifikation, Systementwicklung
marc024a_ct_mv 10.1007/978-3-642-38088-4
match_str brat2013nasaformalmethods5thinternationalsymposiumnfm2013moffettfieldcausamay14162013proceedings
mega_collection Verbunddaten SWB
multipart_link 093890923
multipart_part (093890923)7871
oclc_num 852531676
physical Online-Ressource (XXIV, 486 p. 164 illus, digital)
publishDate 2013
publishDateSort 2013
publishPlace Berlin, Heidelberg
publisher Springer
record_format marcfinc
record_id 383257816
recordtype marcfinc
rsn_id_str_mv (DE-15)3225261
rvk_facet SS 4800
rvk_label Informatik, Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen, Schriftenreihen (indiv. Sign.), Lecture notes in computer science
rvk_path SS, SQ - SU, SS 4000 - SS 5999, SS 4800
rvk_path_str_mv SS, SQ - SU, SS 4000 - SS 5999, SS 4800
series Lecture notes in computer science, 7871
series2 Lecture Notes in Computer Science ; 7871, SpringerLink ; Bücher
source_id 0
spelling Brat, Guillaume aut, NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings edited by Guillaume Brat, Neha Rungta, Arnaud Venet, Berlin, Heidelberg Springer 2013, Online-Ressource (XXIV, 486 p. 164 illus, digital), Text txt rdacontent, Computermedien c rdamedia, Online-Ressource cr rdacarrier, Lecture Notes in Computer Science 7871, SpringerLink Bücher, Literaturangaben, 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, Logic design, Computer Science, Computer science, Software engineering, Operating systems (Computers), Compilers (Computer programs)., Computer programming., Konferenzschrift 2013 Moffett Field, Calif. (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, s (DE-588)4333722-3 (DE-627)148061516 (DE-576)21134253X Formale Methode gnd, s (DE-588)4135576-3 (DE-627)10566409X (DE-576)209661925 Programmverifikation gnd, s (DE-588)4434799-6 (DE-627)222527455 (DE-576)212412167 Model Checking gnd, s (DE-588)4069034-9 (DE-627)106104462 (DE-576)209175370 Automatisches Beweisverfahren gnd, s (DE-588)4116522-6 (DE-627)104616369 (DE-576)209502258 Softwareentwicklung gnd, s (DE-588)4056186-0 (DE-627)10615544X (DE-576)209116919 Softwarespezifikation gnd, s (DE-588)4126945-7 (DE-627)104636866 (DE-576)209589426 Systementwicklung gnd, DE-101, Rungta, Neha oth, Venet, Arnaud oth, 9783642380877, Druckausg. NASA formal methods Berlin : Springer, 2013 XXIV, 486 S. (DE-627)741184427 (DE-576)383236916 3642380875 9783642380877, Lecture notes in computer science 7871 7871 (DE-627)316228877 (DE-576)093890923 (DE-600)2018930-8 1611-3349 ns, https://doi.org/10.1007/978-3-642-38088-4 X:SPRINGER Verlag lizenzpflichtig Volltext, http://dx.doi.org/10.1007/978-3-642-38088-4 Resolving-System lizenzpflichtig Volltext, https://swbplus.bsz-bw.de/bsz383257816cov.jpg V:DE-576 X:springer image/jpeg 20140212102425 Cover, http://deposit.d-nb.de/cgi-bin/dokserv?id=4293191&prov=M&dok_var=1&dok_ext=htm X: MVB text/html 2013-05-01 Verlag Inhaltstext, (DE-627)749322810, http://dx.doi.org/10.1007/978-3-642-38088-4 DE-14, DE-14 epn:3359845390 2013-06-06T14:18:45Z, http://dx.doi.org/10.1007/978-3-642-38088-4 DE-15, DE-15 epn:3359845420 2013-06-06T14:18:45Z, http://dx.doi.org/10.1007/978-3-642-38088-4 DE-Ch1, DE-Ch1 epn:3359845463 2013-06-06T14:18:45Z, http://dx.doi.org/10.1007/978-3-642-38088-4 Zum Online-Dokument DE-Zi4, DE-Zi4 epn:3359845498 2013-06-06T14:18:45Z, http://dx.doi.org/10.1007/978-3-642-38088-4 DE-520, DE-520 epn:3359845528 2013-06-06T14:18:45Z
spellingShingle Brat, Guillaume, NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings, Lecture notes in computer science, 7871, 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, Logic design, Computer Science, Computer science, Software engineering, Operating systems (Computers), Compilers (Computer programs)., Computer programming., Konferenzschrift 2013 Moffett Field, Calif., Konferenzschrift, Formale Methode, Programmverifikation, Model Checking, Automatisches Beweisverfahren, Softwareentwicklung, Softwarespezifikation, Systementwicklung
swb_id_str 383257816
title NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
title_auth NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
title_full NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings edited by Guillaume Brat, Neha Rungta, Arnaud Venet
title_fullStr NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings edited by Guillaume Brat, Neha Rungta, Arnaud Venet
title_full_unstemmed NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings edited by Guillaume Brat, Neha Rungta, Arnaud Venet
title_in_hierarchy 7871. NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings (2013)
title_short NASA Formal Methods
title_sort nasa formal methods 5th international symposium nfm 2013 moffett field ca usa may 14 16 2013 proceedings
title_sub 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
title_unstemmed NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
topic Logic design, Computer Science, Computer science, Software engineering, Operating systems (Computers), Compilers (Computer programs)., Computer programming., Konferenzschrift 2013 Moffett Field, Calif., Konferenzschrift, Formale Methode, Programmverifikation, Model Checking, Automatisches Beweisverfahren, Softwareentwicklung, Softwarespezifikation, Systementwicklung
topic_facet Logic design, Computer Science, Computer science, Software engineering, Operating systems (Computers), Compilers (Computer programs)., Computer programming., Konferenzschrift, Formale Methode, Programmverifikation, Model Checking, Automatisches Beweisverfahren, Softwareentwicklung, Softwarespezifikation, Systementwicklung
url https://doi.org/10.1007/978-3-642-38088-4, http://dx.doi.org/10.1007/978-3-642-38088-4, https://swbplus.bsz-bw.de/bsz383257816cov.jpg, http://deposit.d-nb.de/cgi-bin/dokserv?id=4293191&prov=M&dok_var=1&dok_ext=htm