Verfügbarkeit: NASA formal methods

NASA formal methods: 6th international symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Cham [u.a.] Springer 2014
Schriftenreihe:	Lecture notes in computer science 8430
Schlagworte:	Softwareentwicklung Formale Methode Testen Systementwicklung Automatisches Beweisverfahren Verifikation Konferenzschrift > 2014 > Houston Tex.
Online-Zugang:	DE-634 DE-M347 DE-92 DE-859 DE-861 DE-91 DE-384 DE-473 DE-703 DE-20 DE-706 DE-29 DE-739 Volltext Inhaltsverzeichnis Abstract
Beschreibung:	1 Online-Ressource (XXV, 360 S.) graph. Darst.
ISBN:	9783319061993 9783319062006
DOI:	10.1007/978-3-319-06200-6

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV041959806
003	DE-604
007	cr\|uuu---uuuuu
008	140708s2014 xx d\|\|\| o\|\|\|\| 10\|\|\| eng d
020			\|a 9783319061993 \|9 978-3-319-06199-3
020			\|a 9783319062006 \|c eISBN \|9 978-3-319-06200-6
024	7		\|a 10.1007/978-3-319-06200-6 \|2 doi
035			\|a (OCoLC)879512952
035			\|a (DE-599)BVBBV041959806
040			\|a DE-604 \|b ger \|e rakwb
041	0		\|a eng
049			\|a DE-473 \|a DE-20 \|a DE-91 \|a DE-706 \|a DE-739 \|a DE-384 \|a DE-M347 \|a DE-703 \|a DE-29 \|a DE-92 \|a DE-859 \|a DE-861 \|a DE-634
082	0		\|a 004
084			\|a VER 826f \|2 stub
084			\|a DAT 325f \|2 stub
245	1	0	\|a NASA formal methods \|b 6th international symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014 ; proceedings \|c Julia M. Badger ... (eds.)
264		1	\|a Cham [u.a.] \|b Springer \|c 2014
300			\|a 1 Online-Ressource (XXV, 360 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 8430
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 2014 \|z Houston Tex. \|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 Badger, Julia M. \|d 1981- \|e Sonstige \|0 (DE-588)1049962141 \|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 6. \|d 2014 \|c Houston, Tex. \|j Sonstige \|0 (DE-588)1049922174 \|4 oth
830		0	\|a Lecture notes in computer science \|v 8430 \|w (DE-604)BV014880109 \|9 8430
856	4	0	\|u https://doi.org/10.1007/978-3-319-06200-6 \|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=027402634&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=027402634&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA \|3 Abstract
912			\|a ZDB-2-LNC
943	1		\|a oai:aleph.bib-bvb.de:BVB01-027402634
966	e		\|u https://doi.org/10.1007/978-3-319-06200-6 \|l DE-634 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-06200-6 \|l DE-M347 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-06200-6 \|l DE-92 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-06200-6 \|l DE-859 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-06200-6 \|l DE-861 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-06200-6 \|l DE-91 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-06200-6 \|l DE-384 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-06200-6 \|l DE-473 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-06200-6 \|l DE-703 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-06200-6 \|l DE-20 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-06200-6 \|l DE-706 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-06200-6 \|l DE-29 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-06200-6 \|l DE-739 \|p ZDB-2-LNC \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1820875578224410624
adam_text	NASA FORMAL METHODS / : 2014 TABLE OF CONTENTS / INHALTSVERZEICHNIS MODEL CHECKING THEOREM PROVING STATIC ANALYSIS MODEL-BASED DEVELOPMENT RUNTIME MONITORING FORMAL APPROACHES TO FAULT TOLERANCE APPLICATIONS OF FORMAL METHODS TO AEROSPACE SYSTEMS FORMAL ANALYSIS OF CYBER-PHYSICAL SYSTEMS, INCLUDING HYBRID AND EMBEDDED SYSTEMS FORMAL METHODS IN SYSTEMS ENGINEERING MODELING REQUIREMENTS AND SPECIFICATIONS REQUIREMENTS GENERATION SPECIFICATION DEBUGGING FORMAL VALIDATION OF SPECIFICATIONS USE OF FORMAL METHODS IN SAFETY CASES USE OF FORMAL METHODS IN HUMAN-MACHINE INTERACTION ANALYSIS FORMAL METHODS FOR PARALLEL HARDWARE IMPLEMENTATIONS USE OF FORMAL METHODS IN AUTOMATED SOFTWARE ENGINEERING AND TESTING CORRECT-BY-DESIGN DESIGN FOR VERIFICATION, AND PROPERTY BASED DESIGN TECHNIQUES TECHNIQUES AND ALGORITHMS FOR SCALING FORMAL METHODS, E.G., ABSTRACTION AND SYMBOLIC METHODS COMPOSITIONAL TECHNIQUES PARALLEL AND DISTRIBUTED TECHNIQUES.-APPLICATION OF FORMAL METHODS TO EMERGING TECHNOLOGIES DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. NASA FORMAL METHODS / : 2014 ABSTRACT / INHALTSTEXT THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 6TH INTERNATIONAL SYMPOSIUM ON NASA FORMAL METHODS, NFM 2014, HELD IN HOUSTON, TX, USA, APRIL 29 – MAY 1, 2014. THE 20 REVISED REGULAR PAPERS PRESENTED TOGETHER WITH 9 SHORT PAPERS WERE CAREFULLY REVIEWED AND SELECTED FROM 107 SUBMISSIONS. THE TOPICS INCLUDE MODEL CHECKING, THEOREM PROVING, STATIC ANALYSIS, MODEL-BASED DEVELOPMENT, RUNTIME MONITORING, FORMAL APPROACHES TO FAULT TOLERANCE, APPLICATIONS OF FORMAL METHODS TO AEROSPACE SYSTEMS, FORMAL ANALYSIS OF CYBER-PHYSICAL SYSTEMS, INCLUDING HYBRID AND EMBEDDED SYSTEMS, FORMAL METHODS IN SYSTEMS ENGINEERING, MODELING, REQUIREMENTS AND SPECIFICATIONS, REQUIREMENTS GENERATION, SPECIFICATION DEBUGGING, FORMAL VALIDATION OF SPECIFICATIONS, USE OF FORMAL METHODS IN SAFETY CASES, USE OF FORMAL METHODS IN HUMAN-MACHINE INTERACTION ANALYSIS, FORMAL METHODS FOR PARALLEL HARDWARE IMPLEMENTATIONS, USE OF FORMAL METHODS IN AUTOMATED SOFTWARE ENGINEERING AND TESTING, CORRECT-BY-DESIGN, DESIGN FOR VERIFICATION, AND PROPERTY BASED DESIGN TECHNIQUES, TECHNIQUES AND ALGORITHMS FOR SCALING FORMAL METHODS, E.G., ABSTRACTION AND SYMBOLIC METHODS, COMPOSITIONAL TECHNIQUES, PARALLEL AND DISTRIBUTED TECHNIQUES, AND APPLICATION OF FORMAL METHODS TO EMERGING TECHNOLOGIES DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
author_GND	(DE-588)1049962141
building	Verbundindex
bvnumber	BV041959806
classification_rvk	SS 4800
classification_tum	VER 826f DAT 325f
collection	ZDB-2-LNC
ctrlnum	(OCoLC)879512952 (DE-599)BVBBV041959806
dewey-full	004
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004
dewey-search	004
dewey-sort	14
dewey-tens	000 - Computer science, information, general works
discipline	Informatik Verkehrstechnik
doi_str_mv	10.1007/978-3-319-06200-6
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV041959806</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">140708s2014 xx d\|\|\| o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319061993</subfield><subfield code="9">978-3-319-06199-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319062006</subfield><subfield code="c">eISBN</subfield><subfield code="9">978-3-319-06200-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-06200-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)879512952</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041959806</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</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-20</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-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</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">6th international symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014 ; proceedings</subfield><subfield code="c">Julia M. Badger ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XXV, 360 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">8430</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">2014</subfield><subfield code="z">Houston Tex.</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">Badger, Julia M.</subfield><subfield code="d">1981-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1049962141</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">6.</subfield><subfield code="d">2014</subfield><subfield code="c">Houston, Tex.</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1049922174</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">8430</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8430</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-06200-6</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=027402634&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=027402634&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-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027402634</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-06200-6</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-06200-6</subfield><subfield code="l">DE-M347</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-06200-6</subfield><subfield code="l">DE-92</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-06200-6</subfield><subfield code="l">DE-859</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-06200-6</subfield><subfield code="l">DE-861</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-06200-6</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-06200-6</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-06200-6</subfield><subfield code="l">DE-473</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-06200-6</subfield><subfield code="l">DE-703</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-06200-6</subfield><subfield code="l">DE-20</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-06200-6</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-06200-6</subfield><subfield code="l">DE-29</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-06200-6</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2014 Houston Tex. gnd-content
genre_facet	Konferenzschrift 2014 Houston Tex.
id	DE-604.BV041959806
illustrated	Illustrated
indexdate	2025-01-10T15:17:50Z
institution	BVB
institution_GND	(DE-588)2294-9 (DE-588)1049922174
isbn	9783319061993 9783319062006
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-027402634
oclc_num	879512952
open_access_boolean
owner	DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-859 DE-861 DE-634
owner_facet	DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-859 DE-861 DE-634
physical	1 Online-Ressource (XXV, 360 S.) graph. Darst.
psigel	ZDB-2-LNC
publishDate	2014
publishDateSearch	2014
publishDateSort	2014
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	NASA formal methods 6th international symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014 ; proceedings Julia M. Badger ... (eds.) Cham [u.a.] Springer 2014 1 Online-Ressource (XXV, 360 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 8430 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 2014 Houston Tex. 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 Badger, Julia M. 1981- Sonstige (DE-588)1049962141 oth USA National Aeronautics and Space Administration Sonstige (DE-588)2294-9 oth NFM 6. 2014 Houston, Tex. Sonstige (DE-588)1049922174 oth Lecture notes in computer science 8430 (DE-604)BV014880109 8430 https://doi.org/10.1007/978-3-319-06200-6 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027402634&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=027402634&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract
spellingShingle	NASA formal methods 6th international symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014 ; 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 6th international symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014 ; proceedings
title_auth	NASA formal methods 6th international symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014 ; proceedings
title_exact_search	NASA formal methods 6th international symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014 ; proceedings
title_full	NASA formal methods 6th international symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014 ; proceedings Julia M. Badger ... (eds.)
title_fullStr	NASA formal methods 6th international symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014 ; proceedings Julia M. Badger ... (eds.)
title_full_unstemmed	NASA formal methods 6th international symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014 ; proceedings Julia M. Badger ... (eds.)
title_short	NASA formal methods
title_sort	nasa formal methods 6th international symposium nfm 2014 houston tx usa april 29 may 1 2014 proceedings
title_sub	6th international symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014 ; 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 2014 Houston Tex.
url	https://doi.org/10.1007/978-3-319-06200-6 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027402634&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=027402634&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT badgerjuliam nasaformalmethods6thinternationalsymposiumnfm2014houstontxusaapril29may12014proceedings AT usanationalaeronauticsandspaceadministration nasaformalmethods6thinternationalsymposiumnfm2014houstontxusaapril29may12014proceedings AT nfmhoustontex nasaformalmethods6thinternationalsymposiumnfm2014houstontxusaapril29may12014proceedings

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