Verfügbarkeit: NASA formal methods

NASA formal methods: 5th international symposium, NFM 2013, Moffett Field, CA, USA, May 14 - 16, 2013 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2013
Schriftenreihe:	Lecture notes in computer science 7871
Schlagworte:	Softwareentwicklung Formale Methode Testen Systementwicklung Automatisches Beweisverfahren Verifikation Konferenzschrift > 2013 > Moffett Field, Calif.
Online-Zugang:	Volltext Inhaltsverzeichnis Abstract
Beschreibung:	1 Online-Ressource (IX, 486 S.) graph. Darst.
ISBN:	9783642380877 9783642380884
DOI:	10.1007/978-3-642-38088-4

Internformat

MARC


LEADER	00000nam a2200000zcb4500
001	BV041394389
003	DE-604
005	20140305
007	cr\|uuu---uuuuu
008	131104s2013 xx d\|\|\| o\|\|\|\| 10\|\|\| eng d
020			\|a 9783642380877 \|9 978-3-642-38087-7
020			\|a 9783642380884 \|c Online \|9 978-3-642-38088-4
024	7		\|a 10.1007/978-3-642-38088-4 \|2 doi
035			\|a (OCoLC)852531676
035			\|a (DE-599)BVBBV041394389
040			\|a DE-604 \|b ger
041	0		\|a eng
049			\|a DE-473 \|a DE-M347 \|a DE-20 \|a DE-703 \|a DE-Aug4 \|a DE-92 \|a DE-29 \|a DE-859 \|a DE-91 \|a DE-706 \|a DE-739 \|a DE-384 \|a DE-634 \|a DE-355
082	0		\|a 005.1
084			\|a DAT 343f \|2 stub
084			\|a DAT 000 \|2 stub
084			\|a VER 826f \|2 stub
084			\|a DAT 325f \|2 stub
245	1	0	\|a NASA formal methods \|b 5th international symposium, NFM 2013, Moffett Field, CA, USA, May 14 - 16, 2013 ; proceedings \|c Guillaume Brat ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2013
300			\|a 1 Online-Ressource (IX, 486 S.) \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 7871
650	0	7	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Formale Methode \|0 (DE-588)4333722-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Testen \|0 (DE-588)4367264-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Systementwicklung \|0 (DE-588)4126945-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Automatisches Beweisverfahren \|0 (DE-588)4069034-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Verifikation \|0 (DE-588)4135577-5 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2013 \|z Moffett Field, Calif. \|2 gnd-content
689	0	0	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	0	1	\|a Verifikation \|0 (DE-588)4135577-5 \|D s
689	0	2	\|a Testen \|0 (DE-588)4367264-4 \|D s
689	0	3	\|a Automatisches Beweisverfahren \|0 (DE-588)4069034-9 \|D s
689	0	4	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|D s
689	0	5	\|a Systementwicklung \|0 (DE-588)4126945-7 \|D s
689	0		\|5 DE-604
700	1		\|a Brat, Guillaume \|e Sonstige \|4 oth
710	2		\|a USA \|b National Aeronautics and Space Administration \|e Sonstige \|0 (DE-588)2294-9 \|4 oth
711	2		\|a NFM \|n 5 \|d 2013 \|c Moffett Field, Calif. \|j Sonstige \|0 (DE-588)103390564X \|4 oth
830		0	\|a Lecture notes in computer science \|v 7871 \|w (DE-604)BV014880109 \|9 7871
856	4	0	\|u https://doi.org/10.1007/978-3-642-38088-4 \|x Verlag \|3 Volltext
856	4	2	\|m Springer Fremddatenuebernahme \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026842153&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
856	4	2	\|m Springer Fremddatenuebernahme \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026842153&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA \|3 Abstract
912			\|a ZDB-2-SCS
912			\|a ZDB-2-LNC
943	1		\|a oai:aleph.bib-bvb.de:BVB01-026842153

Datensatz im Suchindex

_version_	1820875505631494144
adam_text	NASA FORMAL METHODS / : 2013 TABLE OF CONTENTS / INHALTSVERZEICHNIS MODEL CHECKING APPLICATIONS OF FORMAL METHODS COMPLEX SYSTEMS STATIC ANALYSIS SYMBOLIC EXECUTION REQUIREMENTS AND SPECIFICATIONS PROBABILISTIC AND STATISTICAL ANALYSIS.-THEOREM PROVING DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. NASA FORMAL METHODS / : 2013 ABSTRACT / INHALTSTEXT 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 DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
building	Verbundindex
bvnumber	BV041394389
classification_rvk	SS 4800
classification_tum	DAT 343f DAT 000 VER 826f DAT 325f
collection	ZDB-2-SCS ZDB-2-LNC
ctrlnum	(OCoLC)852531676 (DE-599)BVBBV041394389
dewey-full	005.1
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.1
dewey-search	005.1
dewey-sort	15.1
dewey-tens	000 - Computer science, information, general works
discipline	Informatik Verkehrstechnik
doi_str_mv	10.1007/978-3-642-38088-4
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV041394389</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140305</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">131104s2013 xx d\|\|\| o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642380877</subfield><subfield code="9">978-3-642-38087-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642380884</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-38088-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-38088-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)852531676</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041394389</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 343f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">VER 826f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 325f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">NASA formal methods</subfield><subfield code="b">5th international symposium, NFM 2013, Moffett Field, CA, USA, May 14 - 16, 2013 ; proceedings</subfield><subfield code="c">Guillaume Brat ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (IX, 486 S.)</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7871</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Testen</subfield><subfield code="0">(DE-588)4367264-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2013</subfield><subfield code="z">Moffett Field, Calif.</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Testen</subfield><subfield code="0">(DE-588)4367264-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Brat, Guillaume</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">USA</subfield><subfield code="b">National Aeronautics and Space Administration</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)2294-9</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">NFM</subfield><subfield code="n">5</subfield><subfield code="d">2013</subfield><subfield code="c">Moffett Field, Calif.</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)103390564X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7871</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">7871</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-38088-4</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026842153&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026842153&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026842153</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2013 Moffett Field, Calif. gnd-content
genre_facet	Konferenzschrift 2013 Moffett Field, Calif.
id	DE-604.BV041394389
illustrated	Illustrated
indexdate	2025-01-10T15:16:42Z
institution	BVB
institution_GND	(DE-588)2294-9 (DE-588)103390564X
isbn	9783642380877 9783642380884
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-026842153
oclc_num	852531676
open_access_boolean
owner	DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-634 DE-355 DE-BY-UBR
owner_facet	DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-634 DE-355 DE-BY-UBR
physical	1 Online-Ressource (IX, 486 S.) graph. Darst.
psigel	ZDB-2-SCS ZDB-2-LNC
publishDate	2013
publishDateSearch	2013
publishDateSort	2013
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	NASA formal methods 5th international symposium, NFM 2013, Moffett Field, CA, USA, May 14 - 16, 2013 ; proceedings Guillaume Brat ... (eds.) Berlin [u.a.] Springer 2013 1 Online-Ressource (IX, 486 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 7871 Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf Testen (DE-588)4367264-4 gnd rswk-swf Systementwicklung (DE-588)4126945-7 gnd rswk-swf Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 Moffett Field, Calif. gnd-content Formale Methode (DE-588)4333722-3 s Verifikation (DE-588)4135577-5 s Testen (DE-588)4367264-4 s Automatisches Beweisverfahren (DE-588)4069034-9 s Softwareentwicklung (DE-588)4116522-6 s Systementwicklung (DE-588)4126945-7 s DE-604 Brat, Guillaume Sonstige oth USA National Aeronautics and Space Administration Sonstige (DE-588)2294-9 oth NFM 5 2013 Moffett Field, Calif. Sonstige (DE-588)103390564X oth Lecture notes in computer science 7871 (DE-604)BV014880109 7871 https://doi.org/10.1007/978-3-642-38088-4 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026842153&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026842153&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract
spellingShingle	NASA formal methods 5th international symposium, NFM 2013, Moffett Field, CA, USA, May 14 - 16, 2013 ; proceedings Lecture notes in computer science Softwareentwicklung (DE-588)4116522-6 gnd Formale Methode (DE-588)4333722-3 gnd Testen (DE-588)4367264-4 gnd Systementwicklung (DE-588)4126945-7 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Verifikation (DE-588)4135577-5 gnd
subject_GND	(DE-588)4116522-6 (DE-588)4333722-3 (DE-588)4367264-4 (DE-588)4126945-7 (DE-588)4069034-9 (DE-588)4135577-5 (DE-588)1071861417
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_exact_search	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 Guillaume Brat ... (eds.)
title_fullStr	NASA formal methods 5th international symposium, NFM 2013, Moffett Field, CA, USA, May 14 - 16, 2013 ; proceedings Guillaume Brat ... (eds.)
title_full_unstemmed	NASA formal methods 5th international symposium, NFM 2013, Moffett Field, CA, USA, May 14 - 16, 2013 ; proceedings Guillaume Brat ... (eds.)
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
topic	Softwareentwicklung (DE-588)4116522-6 gnd Formale Methode (DE-588)4333722-3 gnd Testen (DE-588)4367264-4 gnd Systementwicklung (DE-588)4126945-7 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Verifikation (DE-588)4135577-5 gnd
topic_facet	Softwareentwicklung Formale Methode Testen Systementwicklung Automatisches Beweisverfahren Verifikation Konferenzschrift 2013 Moffett Field, Calif.
url	https://doi.org/10.1007/978-3-642-38088-4 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026842153&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026842153&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT bratguillaume nasaformalmethods5thinternationalsymposiumnfm2013moffettfieldcausamay14162013proceedings AT usanationalaeronauticsandspaceadministration nasaformalmethods5thinternationalsymposiumnfm2013moffettfieldcausamay14162013proceedings AT nfmmoffettfieldcalif nasaformalmethods5thinternationalsymposiumnfm2013moffettfieldcausamay14162013proceedings

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge