Verfügbarkeit: Testing software and systems

Testing software and systems: 25th IFIP EG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13 - 15, 2013 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2013
Schriftenreihe:	Lecture notes in computer science 8254
Schlagworte:	Formale Methode Testen Kommunikationssystem Softwaretest Eingebettetes System Verteiltes System Konferenzschrift > 2012 > Ålborg Konferenzschrift > 2013 > Istanbul
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Beschreibung:	XIV, 289 S. graph. Darst.
ISBN:	364241706X 9783642417061

Internformat

MARC


LEADER	00000nam a22000008cb4500
001	BV041422291
003	DE-604
005	20140225
007	t\|
008	131118s2013 gw d\|\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 13,N40 \|2 dnb
016	7		\|a 1042341117 \|2 DE-101
020			\|a 364241706X \|9 3-642-41706-X
020			\|a 9783642417061 \|c Pb. : ca. EUR 49.22 (DE) (freier Pr.), ca. EUR 50.60 (AT) (freier Pr.), ca. sfr 61.50 (freier Pr.) \|9 978-3-642-41706-1
024	3		\|a 9783642417061
028	5	2	\|a Best.-Nr.: 86337431
035			\|a (OCoLC)864597711
035			\|a (DE-599)DNB1042341117
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-83 \|a DE-11 \|a DE-91G
082	0		\|a 004
082	0		\|a 004.24 \|2 22/ger
084			\|a 004 \|2 sdnb
084			\|a DAT 330f \|2 stub
245	1	0	\|a Testing software and systems \|b 25th IFIP EG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13 - 15, 2013 ; proceedings \|c Hüsnü Yenigün ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2013
300			\|a XIV, 289 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 8254
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 Kommunikationssystem \|0 (DE-588)4125542-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Softwaretest \|0 (DE-588)4132652-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Eingebettetes System \|0 (DE-588)4396978-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Verteiltes System \|0 (DE-588)4238872-7 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2012 \|z Ålborg \|2 gnd-content
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2013 \|z Istanbul \|2 gnd-content
689	0	0	\|a Softwaretest \|0 (DE-588)4132652-0 \|D s
689	0		\|5 DE-604
689	1	0	\|a Verteiltes System \|0 (DE-588)4238872-7 \|D s
689	1	1	\|a Kommunikationssystem \|0 (DE-588)4125542-2 \|D s
689	1	2	\|a Testen \|0 (DE-588)4367264-4 \|D s
689	1	3	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	1		\|5 DE-604
689	2	0	\|a Verteiltes System \|0 (DE-588)4238872-7 \|D s
689	2	1	\|a Eingebettetes System \|0 (DE-588)4396978-1 \|D s
689	2	2	\|a Softwaretest \|0 (DE-588)4132652-0 \|D s
689	2		\|5 DE-604
700	1		\|a Yenigün, Hüsnü \|e Sonstige \|0 (DE-588)1045800589 \|4 oth
711	2		\|a ICTSS \|n 25. \|d 2013 \|c Istanbul \|j Sonstige \|0 (DE-588)1044284447 \|4 oth
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|z 978-3-642-41707-8
830		0	\|a Lecture notes in computer science \|v 8254 \|w (DE-604)BV000000607 \|9 8254
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=4462924&prov=M&dok_var=1&dok_ext=htm \|3 Inhaltstext
856	4	2	\|m DNB Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026869332&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-026869332

Datensatz im Suchindex

_version_	1820875531649810432
adam_text	TABLE OF CONTENTS MODEL-BASED TESTING USING LOGIC COVERAGE TO IMPROVE TESTING FUNCTION BLOCK DIAGRAMS . 1 EDUARD PAUL ENOIU, DANIEL SUNDMARK, AND PAUL PETTERSSON AUTOMATIC GRAMMAR-BASED TEST GENERATION 17 HAI-FENG GUO AND ZONGYAN QIU ADAPTIVE HOMING AND DISTINGUISHING EXPERIMENTS FOR NONDETERMINISTIC FINITE STATE MACHINES 33 NATALIA KUSHIK, KHALED EL-FAKIH, AND NINA YEVTUSHENKO EXHAUSTIVE MODEL-BASED EQUIVALENCE CLASS TESTING 49 WEN-LING HUANG AND JAN PELESKA TESTING TIMED AND CONCURRENT SYSTEMS REMOTE TESTING OF TIMED SPECIFICATIONS 65 ALEXANDRE DAVID, KIM G. LARSEN, MARIUS MIKUCIONIS, OMER L. NGUENA TIMO, AND ANTOINE B.OLLET AN IMPLEMENTATION RELATION AND TEST FRAMEWORK FOR TIMED DISTRIBUTED SYSTEMS 82 CHRISTOPHE GASTON, ROBERT M. HIERONS, AND PASCALE LE GALL UNFOLDING-BASED TEST SELECTION FOR CONCURRENT CONFORMANCE 98 HERNAN PONCE DE LEON, STEFAN HAAR, AND DELPHINE LONGUET TEST SUITE SELECTION AND EFFORT ESTIMATION PREDICTING THE SIZE OF TEST SUITES FROM USE CASES: AN EMPIRICAL EXPLORATION 114 MOURAD BADRI, LINDA BADRI, AND WILLIAM FLAGEOL CHAINING TEST CASES FOR REACTIVE SYSTEM TESTING 133 PETER SCHRAMMEL, TOM MELHAM, AND DANIEL KROENING VARIATIONS OVER TEST SUITE REDUCTION 149 DENNIS GIITTINGER, VITALY KOZYURA, DORNINIK KREMER, AND SEBASTIAN WIECZOREK HTTP://D-NB.INFO/1042341117 XIV TABLE OF CONTENTS TOOLS AND LANGUAGES CASE STUDIES IN LEARNING-BASED TESTING 164 LEI FENG, SIMON LUNDMARK, KARL MEINKE, FEI NIU, MUDDASSAR A. SINDHU, AND PETER Y.H. WONG TECHNIQUES AND TOOLSET FOR CONFORMANCE TESTING AGAINST UML SEQUENCE DIAGRAMS 180 JOAO PASCOAL FARIA, ANA C.R. PAIVA, AND MARIO VENTURA DE CASTRO PARALLEL SMT-CONSTRAINED SYMBOLIC EXECUTION FOR ECLIPSE CDT/CODAN 196 ANDREAS IBING CHALLENGES OF TESTING PERIODIC MESSAGES IN AVIONICS SYSTEMS USING TTCN-3 207 BERNARD STEPIEN AND LIARN PEYTON DEBUGGING GUIDED ALGEBRAIC SPECIFICATION MINING FOR FAILURE SIMPLIFICATION 223 ALEXANDER ELYASOV, I.S. WISHNU B. PRASETYA, AND JURRIAAN HAGE SPECTRUM-BASED FAULT LOCALIZATION FOR DIAGNOSING CONCURRENCY FAULTS 239 FEYZULLAH KOCA, HASAN SOZER, AND RUI ABREU A DYNAMIC APPROACH TO LOCATING MEMORY LEAKS 255 KOSTYANTYN VOROBYOV, PADMANABHAN KRISHNAN, AND PHIL STOCKS SHORT CONTRIBUTIONS TOWARDS A GUI TEST MODEL USING STATE CHARTS AND PROGRAMMING CODE 271 DANIEL MAUSER, ALEXANDER KLAUS, AND KONSTANTIN HOLL A TOOL FOR SUPPORTING DEVELOPERS IN ANALYZING THE SECURITY OF WEB-BASED SECURITY PROTOCOLS 277 GIANCARLO PELLEGRINO, LUCA, CORNPAGNA, AND THOMAS MORREGGIA FINDING ERRORS IN PYTHON PROGRAMS USING DYNAMIC SYMBOLIC EXECUTION 283 SAMIR SAPRA, MARIUS MINEA, SAGAR CHAKI, ARIE GURFINKEL, AND EDMUND, M. CLARKE AUTHOR INDEX 291
any_adam_object	1
author_GND	(DE-588)1045800589
building	Verbundindex
bvnumber	BV041422291
classification_rvk	SS 4800
classification_tum	DAT 330f
ctrlnum	(OCoLC)864597711 (DE-599)DNB1042341117
dewey-full	004 004.24
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004 004.24
dewey-search	004 004.24
dewey-sort	14
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
format	Conference Proceeding Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a22000008cb4500</leader><controlfield tag="001">BV041422291</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140225</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">131118s2013 gw d\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">13,N40</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1042341117</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">364241706X</subfield><subfield code="9">3-642-41706-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642417061</subfield><subfield code="c">Pb. : ca. EUR 49.22 (DE) (freier Pr.), ca. EUR 50.60 (AT) (freier Pr.), ca. sfr 61.50 (freier Pr.)</subfield><subfield code="9">978-3-642-41706-1</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642417061</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86337431</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)864597711</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1042341117</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-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.24</subfield><subfield code="2">22/ger</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="245" ind1="1" ind2="0"><subfield code="a">Testing software and systems</subfield><subfield code="b">25th IFIP EG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13 - 15, 2013 ; proceedings</subfield><subfield code="c">Hüsnü Yenigün ... (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">XIV, 289 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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</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">8254</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">Kommunikationssystem</subfield><subfield code="0">(DE-588)4125542-2</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">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</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">2012</subfield><subfield code="z">Ålborg</subfield><subfield code="2">gnd-content</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">Istanbul</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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Kommunikationssystem</subfield><subfield code="0">(DE-588)4125542-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2="3"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</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">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</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">Yenigün, Hüsnü</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1045800589</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ICTSS</subfield><subfield code="n">25.</subfield><subfield code="d">2013</subfield><subfield code="c">Istanbul</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1044284447</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-642-41707-8</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8254</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">8254</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=4462924&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=026869332&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026869332</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2012 Ålborg gnd-content (DE-588)1071861417 Konferenzschrift 2013 Istanbul gnd-content
genre_facet	Konferenzschrift 2012 Ålborg Konferenzschrift 2013 Istanbul
id	DE-604.BV041422291
illustrated	Illustrated
indexdate	2025-01-10T15:17:06Z
institution	BVB
institution_GND	(DE-588)1044284447
isbn	364241706X 9783642417061
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-026869332
oclc_num	864597711
open_access_boolean
owner	DE-83 DE-11 DE-91G DE-BY-TUM
owner_facet	DE-83 DE-11 DE-91G DE-BY-TUM
physical	XIV, 289 S. graph. Darst.
publishDate	2013
publishDateSearch	2013
publishDateSort	2013
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Testing software and systems 25th IFIP EG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13 - 15, 2013 ; proceedings Hüsnü Yenigün ... (eds.) Berlin [u.a.] Springer 2013 XIV, 289 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 8254 Formale Methode (DE-588)4333722-3 gnd rswk-swf Testen (DE-588)4367264-4 gnd rswk-swf Kommunikationssystem (DE-588)4125542-2 gnd rswk-swf Softwaretest (DE-588)4132652-0 gnd rswk-swf Eingebettetes System (DE-588)4396978-1 gnd rswk-swf Verteiltes System (DE-588)4238872-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2012 Ålborg gnd-content (DE-588)1071861417 Konferenzschrift 2013 Istanbul gnd-content Softwaretest (DE-588)4132652-0 s DE-604 Verteiltes System (DE-588)4238872-7 s Kommunikationssystem (DE-588)4125542-2 s Testen (DE-588)4367264-4 s Formale Methode (DE-588)4333722-3 s Eingebettetes System (DE-588)4396978-1 s Yenigün, Hüsnü Sonstige (DE-588)1045800589 oth ICTSS 25. 2013 Istanbul Sonstige (DE-588)1044284447 oth Erscheint auch als Online-Ausgabe 978-3-642-41707-8 Lecture notes in computer science 8254 (DE-604)BV000000607 8254 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4462924&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026869332&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Testing software and systems 25th IFIP EG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13 - 15, 2013 ; proceedings Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Testen (DE-588)4367264-4 gnd Kommunikationssystem (DE-588)4125542-2 gnd Softwaretest (DE-588)4132652-0 gnd Eingebettetes System (DE-588)4396978-1 gnd Verteiltes System (DE-588)4238872-7 gnd
subject_GND	(DE-588)4333722-3 (DE-588)4367264-4 (DE-588)4125542-2 (DE-588)4132652-0 (DE-588)4396978-1 (DE-588)4238872-7 (DE-588)1071861417
title	Testing software and systems 25th IFIP EG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13 - 15, 2013 ; proceedings
title_auth	Testing software and systems 25th IFIP EG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13 - 15, 2013 ; proceedings
title_exact_search	Testing software and systems 25th IFIP EG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13 - 15, 2013 ; proceedings
title_full	Testing software and systems 25th IFIP EG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13 - 15, 2013 ; proceedings Hüsnü Yenigün ... (eds.)
title_fullStr	Testing software and systems 25th IFIP EG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13 - 15, 2013 ; proceedings Hüsnü Yenigün ... (eds.)
title_full_unstemmed	Testing software and systems 25th IFIP EG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13 - 15, 2013 ; proceedings Hüsnü Yenigün ... (eds.)
title_short	Testing software and systems
title_sort	testing software and systems 25th ifip eg 6 1 international conference ictss 2013 istanbul turkey november 13 15 2013 proceedings
title_sub	25th IFIP EG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13 - 15, 2013 ; proceedings
topic	Formale Methode (DE-588)4333722-3 gnd Testen (DE-588)4367264-4 gnd Kommunikationssystem (DE-588)4125542-2 gnd Softwaretest (DE-588)4132652-0 gnd Eingebettetes System (DE-588)4396978-1 gnd Verteiltes System (DE-588)4238872-7 gnd
topic_facet	Formale Methode Testen Kommunikationssystem Softwaretest Eingebettetes System Verteiltes System Konferenzschrift 2012 Ålborg Konferenzschrift 2013 Istanbul
url	http://deposit.dnb.de/cgi-bin/dokserv?id=4462924&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026869332&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT yenigunhusnu testingsoftwareandsystems25thifipeg61internationalconferenceictss2013istanbulturkeynovember13152013proceedings AT ictssistanbul testingsoftwareandsystems25thifipeg61internationalconferenceictss2013istanbulturkeynovember13152013proceedings

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Beschreibung

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge