Verfügbarkeit: Formal approaches to software testing and runtime verification

Formal approaches to software testing and runtime verification: first Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006 ; revised selected papers

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2006
Schriftenreihe:	Lecture notes in computer science 4262
Schlagworte:	Echtzeitsystem Testmustergenerierung Formale Methode Model Checking Softwaretest Formale Spezifikationstechnik Software Verifikation Konferenzschrift > 2006 > Seattle Wash.
Online-Zugang:	DE-634 DE-M347 DE-91 DE-384 DE-473 DE-19 DE-355 DE-706 DE-739 Volltext
Beschreibung:	1 Online-Ressource (VIII, 253 S.) Ill., graph. Darst.
ISBN:	3540496998 9783540496991
DOI:	10.1007/11940197

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV022367995
003	DE-604
005	20150420
007	cr\|uuu---uuuuu
008	070327s2006 gw ad\|\| o\|\|\|\| 10\|\|\| eng d
015			\|a 06,N47,0040 \|2 dnb
020			\|a 3540496998 \|c : ca. EUR 48.15 (freier Pr.), ca. sfr 82.00 (freier Pr.) \|9 3-540-49699-8
020			\|a 9783540496991 \|c : ca. EUR 48.15 (freier Pr.), ca. sfr 82.00 (freier Pr.) \|9 978-3-540-49699-1
024	7		\|a 10.1007/11940197 \|2 doi
024	3		\|a 9783540496991
028	5	2	\|a 11940197
035			\|a (OCoLC)255634860
035			\|a (DE-599)BVBBV022367995
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-473 \|a DE-739 \|a DE-706 \|a DE-19 \|a DE-91 \|a DE-384 \|a DE-M347 \|a DE-634 \|a DE-355
082	0		\|a 005.131
084			\|a 004 \|2 sdnb
084			\|a DAT 330f \|2 stub
084			\|a DAT 000 \|2 stub
084			\|a DAT 325f \|2 stub
245	1	0	\|a Formal approaches to software testing and runtime verification \|b first Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006 ; revised selected papers \|c Klaus Havelund ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2006
300			\|a 1 Online-Ressource (VIII, 253 S.) \|b Ill., 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 4262
650	0	7	\|a Echtzeitsystem \|0 (DE-588)4131397-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Testmustergenerierung \|0 (DE-588)4234817-1 \|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 Model Checking \|0 (DE-588)4434799-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Softwaretest \|0 (DE-588)4132652-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Formale Spezifikationstechnik \|0 (DE-588)4299725-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Software \|0 (DE-588)4055382-6 \|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 2006 \|z Seattle Wash. \|2 gnd-content
689	0	0	\|a Softwaretest \|0 (DE-588)4132652-0 \|D s
689	0	1	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	0		\|5 DE-604
689	1	0	\|a Software \|0 (DE-588)4055382-6 \|D s
689	1	1	\|a Model Checking \|0 (DE-588)4434799-6 \|D s
689	1	2	\|a Testmustergenerierung \|0 (DE-588)4234817-1 \|D s
689	1		\|5 DE-604
689	2	0	\|a Echtzeitsystem \|0 (DE-588)4131397-5 \|D s
689	2	1	\|a Formale Spezifikationstechnik \|0 (DE-588)4299725-2 \|D s
689	2	2	\|a Verifikation \|0 (DE-588)4135577-5 \|D s
689	2		\|5 DE-604
700	1		\|a Havelund, Klaus \|d 1955- \|e Sonstige \|0 (DE-588)1069807605 \|4 oth
711	2		\|a FATES \|n 6 \|d 2006 \|c Seattle, Wash. \|j Sonstige \|0 (DE-588)6513952-5 \|4 oth
711	2		\|a International Workshop on Runtime Verification \|n 6 \|d 2006 \|c Seattle, Wash. \|j Sonstige \|0 (DE-588)6061600-3 \|4 oth
830		0	\|a Lecture notes in computer science \|v 4262 \|w (DE-604)BV014880109 \|9 4262
856	4	0	\|u https://doi.org/10.1007/11940197 \|x Verlag \|3 Volltext
912			\|a ZDB-2-SCS
943	1		\|a oai:aleph.bib-bvb.de:BVB01-015577225
966	e		\|u https://doi.org/10.1007/11940197 \|l DE-634 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11940197 \|l DE-M347 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11940197 \|l DE-91 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11940197 \|l DE-384 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11940197 \|l DE-473 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11940197 \|l DE-19 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11940197 \|l DE-355 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11940197 \|l DE-706 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11940197 \|l DE-739 \|p ZDB-2-SCS \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1820875008197525504
adam_text
adam_txt
any_adam_object
any_adam_object_boolean
author_GND	(DE-588)1069807605
building	Verbundindex
bvnumber	BV022367995
classification_rvk	SS 4800
classification_tum	DAT 330f DAT 000 DAT 325f
collection	ZDB-2-SCS
ctrlnum	(OCoLC)255634860 (DE-599)BVBBV022367995
dewey-full	005.131
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.131
dewey-search	005.131
dewey-sort	15.131
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
discipline_str_mv	Informatik
doi_str_mv	10.1007/11940197
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">BV022367995</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150420</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">070327s2006 gw ad\|\| o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">06,N47,0040</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540496998</subfield><subfield code="c">: ca. EUR 48.15 (freier Pr.), ca. sfr 82.00 (freier Pr.)</subfield><subfield code="9">3-540-49699-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540496991</subfield><subfield code="c">: ca. EUR 48.15 (freier Pr.), ca. sfr 82.00 (freier Pr.)</subfield><subfield code="9">978-3-540-49699-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/11940197</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540496991</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">11940197</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)255634860</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022367995</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.131</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 330f</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">DAT 325f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal approaches to software testing and runtime verification</subfield><subfield code="b">first Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006 ; revised selected papers</subfield><subfield code="c">Klaus Havelund ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (VIII, 253 S.)</subfield><subfield code="b">Ill., 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">4262</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Testmustergenerierung</subfield><subfield code="0">(DE-588)4234817-1</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">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</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">2006</subfield><subfield code="z">Seattle Wash.</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Testmustergenerierung</subfield><subfield code="0">(DE-588)4234817-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Havelund, Klaus</subfield><subfield code="d">1955-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1069807605</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FATES</subfield><subfield code="n">6</subfield><subfield code="d">2006</subfield><subfield code="c">Seattle, Wash.</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6513952-5</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Workshop on Runtime Verification</subfield><subfield code="n">6</subfield><subfield code="d">2006</subfield><subfield code="c">Seattle, Wash.</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6061600-3</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">4262</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">4262</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/11940197</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015577225</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/11940197</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-SCS</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/11940197</subfield><subfield code="l">DE-M347</subfield><subfield code="p">ZDB-2-SCS</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/11940197</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-SCS</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/11940197</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-2-SCS</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/11940197</subfield><subfield code="l">DE-473</subfield><subfield code="p">ZDB-2-SCS</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/11940197</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-2-SCS</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/11940197</subfield><subfield code="l">DE-355</subfield><subfield code="p">ZDB-2-SCS</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/11940197</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-2-SCS</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/11940197</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2006 Seattle Wash. gnd-content
genre_facet	Konferenzschrift 2006 Seattle Wash.
id	DE-604.BV022367995
illustrated	Illustrated
index_date	2024-07-02T17:05:54Z
indexdate	2025-01-10T15:08:48Z
institution	BVB
institution_GND	(DE-588)6513952-5 (DE-588)6061600-3
isbn	3540496998 9783540496991
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-015577225
oclc_num	255634860
open_access_boolean
owner	DE-473 DE-BY-UBG DE-739 DE-706 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-384 DE-M347 DE-634 DE-355 DE-BY-UBR
owner_facet	DE-473 DE-BY-UBG DE-739 DE-706 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-384 DE-M347 DE-634 DE-355 DE-BY-UBR
physical	1 Online-Ressource (VIII, 253 S.) Ill., graph. Darst.
psigel	ZDB-2-SCS
publishDate	2006
publishDateSearch	2006
publishDateSort	2006
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Formal approaches to software testing and runtime verification first Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006 ; revised selected papers Klaus Havelund ... (eds.) Berlin [u.a.] Springer 2006 1 Online-Ressource (VIII, 253 S.) Ill., graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 4262 Echtzeitsystem (DE-588)4131397-5 gnd rswk-swf Testmustergenerierung (DE-588)4234817-1 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Softwaretest (DE-588)4132652-0 gnd rswk-swf Formale Spezifikationstechnik (DE-588)4299725-2 gnd rswk-swf Software (DE-588)4055382-6 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2006 Seattle Wash. gnd-content Softwaretest (DE-588)4132652-0 s Formale Methode (DE-588)4333722-3 s DE-604 Software (DE-588)4055382-6 s Model Checking (DE-588)4434799-6 s Testmustergenerierung (DE-588)4234817-1 s Echtzeitsystem (DE-588)4131397-5 s Formale Spezifikationstechnik (DE-588)4299725-2 s Verifikation (DE-588)4135577-5 s Havelund, Klaus 1955- Sonstige (DE-588)1069807605 oth FATES 6 2006 Seattle, Wash. Sonstige (DE-588)6513952-5 oth International Workshop on Runtime Verification 6 2006 Seattle, Wash. Sonstige (DE-588)6061600-3 oth Lecture notes in computer science 4262 (DE-604)BV014880109 4262 https://doi.org/10.1007/11940197 Verlag Volltext
spellingShingle	Formal approaches to software testing and runtime verification first Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006 ; revised selected papers Lecture notes in computer science Echtzeitsystem (DE-588)4131397-5 gnd Testmustergenerierung (DE-588)4234817-1 gnd Formale Methode (DE-588)4333722-3 gnd Model Checking (DE-588)4434799-6 gnd Softwaretest (DE-588)4132652-0 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd Software (DE-588)4055382-6 gnd Verifikation (DE-588)4135577-5 gnd
subject_GND	(DE-588)4131397-5 (DE-588)4234817-1 (DE-588)4333722-3 (DE-588)4434799-6 (DE-588)4132652-0 (DE-588)4299725-2 (DE-588)4055382-6 (DE-588)4135577-5 (DE-588)1071861417
title	Formal approaches to software testing and runtime verification first Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006 ; revised selected papers
title_auth	Formal approaches to software testing and runtime verification first Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006 ; revised selected papers
title_exact_search	Formal approaches to software testing and runtime verification first Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006 ; revised selected papers
title_exact_search_txtP	Formal approaches to software testing and runtime verification first Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006 ; revised selected papers
title_full	Formal approaches to software testing and runtime verification first Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006 ; revised selected papers Klaus Havelund ... (eds.)
title_fullStr	Formal approaches to software testing and runtime verification first Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006 ; revised selected papers Klaus Havelund ... (eds.)
title_full_unstemmed	Formal approaches to software testing and runtime verification first Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006 ; revised selected papers Klaus Havelund ... (eds.)
title_short	Formal approaches to software testing and runtime verification
title_sort	formal approaches to software testing and runtime verification first combined international workshops fates 2006 and rv 2006 seattle wa usa august 15 16 2006 revised selected papers
title_sub	first Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006 ; revised selected papers
topic	Echtzeitsystem (DE-588)4131397-5 gnd Testmustergenerierung (DE-588)4234817-1 gnd Formale Methode (DE-588)4333722-3 gnd Model Checking (DE-588)4434799-6 gnd Softwaretest (DE-588)4132652-0 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd Software (DE-588)4055382-6 gnd Verifikation (DE-588)4135577-5 gnd
topic_facet	Echtzeitsystem Testmustergenerierung Formale Methode Model Checking Softwaretest Formale Spezifikationstechnik Software Verifikation Konferenzschrift 2006 Seattle Wash.
url	https://doi.org/10.1007/11940197
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT havelundklaus formalapproachestosoftwaretestingandruntimeverificationfirstcombinedinternationalworkshopsfates2006andrv2006seattlewausaaugust15162006revisedselectedpapers AT fatesseattlewash formalapproachestosoftwaretestingandruntimeverificationfirstcombinedinternationalworkshopsfates2006andrv2006seattlewausaaugust15162006revisedselectedpapers AT internationalworkshoponruntimeverificationseattlewash formalapproachestosoftwaretestingandruntimeverificationfirstcombinedinternationalworkshopsfates2006andrv2006seattlewausaaugust15162006revisedselectedpapers

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