Verfügbarkeit: Automated technology for verification and analysis

Automated technology for verification and analysis: 8th international symposium, ATVA 2010, Singapore, September 21 - 24, 2010 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2010
Schriftenreihe:	Lecture notes in computer science 6252
Schlagworte:	Zeitbehafteter Automat Softwareentwicklung Formale Methode Model Checking Systemanalyse Verifikation Systementwurf Konferenzschrift > 2010 > Singapur
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Beschreibung:	XI, 404 S. graph. Darst. 24 cm
ISBN:	9783642156427

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV036665432
003	DE-604
005	20101026
007	t
008	100913s2010 d\|\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 10,N32 \|2 dnb
016	7		\|a 1005454442 \|2 DE-101
020			\|a 9783642156427 \|c kart. : EUR 66.34 (freier Pr.), sfr 89.00 (freier Pr.) \|9 978-3-642-15642-7
024	3		\|a 9783642156427
028	5	2	\|a 80021581
035			\|a (OCoLC)669171689
035			\|a (DE-599)DNB1005454442
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-706 \|a DE-91G \|a DE-11 \|a DE-83
082	0		\|a 005.27 \|2 22/ger
082	0		\|a 004.21 \|2 22/ger
082	0		\|a 005.1015113 \|2 22/ger
084			\|a SS 4800 \|0 (DE-625)143528: \|2 rvk
084			\|a DAT 516f \|2 stub
084			\|a 004 \|2 sdnb
084			\|a DAT 550f \|2 stub
084			\|a DAT 325f \|2 stub
245	1	0	\|a Automated technology for verification and analysis \|b 8th international symposium, ATVA 2010, Singapore, September 21 - 24, 2010 ; proceedings \|c Ahmed Bouajjani ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2010
300			\|a XI, 404 S. \|b graph. Darst. \|c 24 cm
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 6252
650	0	7	\|a Zeitbehafteter Automat \|0 (DE-588)4713349-1 \|2 gnd \|9 rswk-swf
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 Model Checking \|0 (DE-588)4434799-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Systemanalyse \|0 (DE-588)4116673-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Verifikation \|0 (DE-588)4135577-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Systementwurf \|0 (DE-588)4261480-6 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2010 \|z Singapur \|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 Softwareentwicklung \|0 (DE-588)4116522-6 \|D s
689	0	3	\|a Systementwurf \|0 (DE-588)4261480-6 \|D s
689	0	4	\|a Systemanalyse \|0 (DE-588)4116673-5 \|D s
689	0		\|5 DE-604
689	1	0	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	1	1	\|a Verifikation \|0 (DE-588)4135577-5 \|D s
689	1	2	\|a Model Checking \|0 (DE-588)4434799-6 \|D s
689	1		\|5 DE-604
689	2	0	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	2	1	\|a Verifikation \|0 (DE-588)4135577-5 \|D s
689	2	2	\|a Zeitbehafteter Automat \|0 (DE-588)4713349-1 \|D s
689	2		\|5 DE-604
700	1		\|a Bouajjani, Ahmed \|e Sonstige \|4 oth
711	2		\|a ATVA \|n 8 \|d 2010 \|c Singapur \|j Sonstige \|0 (DE-588)16081533-2 \|4 oth
830		0	\|a Lecture notes in computer science \|v 6252 \|w (DE-604)BV000000607 \|9 6252
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=3521291&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=020584627&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-020584627

Datensatz im Suchindex

_version_	1805094617054445568
adam_text	TABLE OF CONTENTS INVITED TALKS PROBABILISTIC AUTOMATA ON INFINITE WORDS: DECIDABILITY AND UNDECIDABILITY RESULTS 1 KRISHNENDU CHATTERJEE AND THOMAS A. HENZINGER ABSTRACTION LEARNING 17 JOXAN JAFFAR, JORGE NAVAS, AND ANDREW SANTOSA SYNTHESIS: WORDS AND TRACES 18 IGOR WALUKIEWICZ REGULAR PAPERS PROMPTNESS IN W-REGULAR AUTOMATA 22 SHAULL ALMAGOR, YORAM HIRSHFELD, AND ORNA KUPFERMAN USING REDUNDANT CONSTRAINTS FOR REFINEMENT 37 EUGENE ASARIN, THAO DANG, ODED MALER, AND ROMAIN TESTYLIER METHODS FOR KNOWLEDGE BASED CONTROLLING OF DISTRIBUTED SYSTEMS 52 SADDEK BENSALEM, MARIUS BOZGA, SUSANNE GRAF, DORON PELED, AND SOPHIE QUINTON COMPOSING REACHABILITY ANALYSES OF HYBRID SYSTEMS FOR SAFETY AND STABILITY 67 SERGIY BOGOMOLOV, CORINA MITROHIN, AND ANDREAS PODELSKI THE COMPLEXITY OF CODIAGNOSABILITY FOR DISCRETE EVENT AND TIMED SYSTEMS 82 FRANCK CASSEZ ON SCENARIO SYNCHRONIZATION 97 DUC-HANH DANG, ANH-HOANG TRUONG, AND MARTIN GOGOLLA COMPOSITIONAL ALGORITHMS FOR LTL SYNTHESIS 112 EMMANUEL FILIOT, NAYIONG JIN, AND JEAN-FRANCOIS RASKIN WHAT'S DECIDABLE ABOUT SEQUENCES? 128 CARLO ALBERTO FURIA A STUDY OF THE CONVERGENCE OF STEADY STATE PROBABILITIES IN A CLOSED FORK-JOI BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1005454442 DIGITALISIERT DURCH X TABLE OF CONTENTS LATTICE-VALUED BINARY DECISION DIAGRAMS 158 GILLES GEERAERTS, GABRIEL KALYON, TRISTAN LE GALI, NICOLAS MAQUET, AND JEAN-FRANCOIS RASKIN A SPECIFICATION LOGIC FOR EXCEPTIONS AND BEYOND 173 CRISTIAN GHERGHINA AND CRISTINA DAVID NON-MONOTONIC REFINEMENT OF CONTROL ABSTRACTION FOR CONCURRENT PROGRAMS 188 ASHUTOSH GUPTA, CORNELIU POPEEA, AND ANDREY RYBALCHENKO AN APPROACH FOR CLASS TESTING FROM CLASS CONTRACTS 203 ATUL GUPTA EFFICIENT ON-THE-FLY EMPTINESS CHECK FOR TIMED BUCHI AUTOMATA 218 FREDERIC HERBRETEAU AND B. SRIVATHSAN REACHABILITY AS DERIVABILITY, FINITE COUNTERMODELS AND VERIFICATION 233 ALEXEI LISITSA LTL CAN BE MORE SUCCINCT 245 KAMAL LODAYA AND A.V. SREEJITH AUTOMATIC GENERATION OF HISTORY-BASED ACCESS CONTROL FROM INFORMATION FLOW SPECIFICATION 259 YOSHIAKI TAKATA AND HIROYUKI SEKI AUXILIARY CONSTRUCTS FOR PROVING LIVENESS IN COMPASSION DISCRETE SYSTEMS 276 TENG LONG AND WENHUI ZHANG SYMBOLIC UNFOLDING OF PARAMETRIC STOPWATCH PETRI NETS 291 LOUIS-MARIE TRAONOUEZ, BARTOSZ GRABIEC, CLAUDE JARD, DIDIER LIME, AND OLIVIER H. ROUX RECURSIVE TIMED AUTOMATA 306 ASHUTOSH TRIVEDI AND DOMINIK WOJTCZAK PROBABILISTIC CONTRACTS FOR COMPONENT-BASED DESIGN 325 DANA TABLE OF CONTENTS XI CRI: SYMBOLIC DEBUGGER FOR MCAPI APPLICATIONS 353 MOHAMED ELWAKIL, ZIJIANG YANG, AND LIQIANG WANG MCGP: A SOFTWARE SYNTHESIS TOOL BASED ON MODEL CHECKING AND GENETIC PROGRAMMING 359 GAL KATZ AND DORON PELED ECDAR: AN ENVIRONMENT FOR COMPOSITIONAL DESIGN AND ANALYSIS OF REAL TIME SYSTEMS 365 ALEXANDRE DAVID, KIM G. LARSEN, AXEL LEGAY, ULRIK NYMAN, AND ANDRZEJ WQSOWSKI DEVELOPING MODEL CHECKERS USING PAT 371 YANG LIU, JUN SUN, AND JIN SONG DONG YAGA: AUTOMATED ANALYSIS OF QUANTITATIVE SAFETY SPECIFICATIONS IN PROBABILISTIC B 378 UKACHUKWU NDUKWU AND ANNABELLE K. MCLVER COMBINE: A TOOL ON COMBINED FORMAL METHODS FOR BINDINGLY VERIFICATION 387 AN N. NGUYEN, THO T. QUAN, PHUNG H. NGUYEN, AND THANG H. BUI RBMINER: A TOOL FOR DISCOVERING PETRI NETS FROM TRANSITION SYSTEMS . 396 MARC SOLE AND JOSEP CARMONA AUTHOR INDEX 403
any_adam_object	1
building	Verbundindex
bvnumber	BV036665432
classification_rvk	SS 4800
classification_tum	DAT 516f DAT 550f DAT 325f
ctrlnum	(OCoLC)669171689 (DE-599)DNB1005454442
dewey-full	005.27 004.21 005.1015113
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security 004 - Computer science
dewey-raw	005.27 004.21 005.1015113
dewey-search	005.27 004.21 005.1015113
dewey-sort	15.27
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 a2200000 cb4500</leader><controlfield tag="001">BV036665432</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20101026</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">100913s2010 d\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N32</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1005454442</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642156427</subfield><subfield code="c">kart. : EUR 66.34 (freier Pr.), sfr 89.00 (freier Pr.)</subfield><subfield code="9">978-3-642-15642-7</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642156427</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">80021581</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)669171689</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1005454442</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="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.27</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.21</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1015113</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 516f</subfield><subfield code="2">stub</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 550f</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">Automated technology for verification and analysis</subfield><subfield code="b">8th international symposium, ATVA 2010, Singapore, September 21 - 24, 2010 ; proceedings</subfield><subfield code="c">Ahmed Bouajjani ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 404 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</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">6252</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zeitbehafteter Automat</subfield><subfield code="0">(DE-588)4713349-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">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">Systemanalyse</subfield><subfield code="0">(DE-588)4116673-5</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="650" ind1="0" ind2="7"><subfield code="a">Systementwurf</subfield><subfield code="0">(DE-588)4261480-6</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">2010</subfield><subfield code="z">Singapur</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">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Systementwurf</subfield><subfield code="0">(DE-588)4261480-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Systemanalyse</subfield><subfield code="0">(DE-588)4116673-5</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">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2="2"><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" 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="2" 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="2" ind2="2"><subfield code="a">Zeitbehafteter Automat</subfield><subfield code="0">(DE-588)4713349-1</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">Bouajjani, Ahmed</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ATVA</subfield><subfield code="n">8</subfield><subfield code="d">2010</subfield><subfield code="c">Singapur</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16081533-2</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">6252</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6252</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=3521291&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=020584627&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-020584627</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2010 Singapur gnd-content
genre_facet	Konferenzschrift 2010 Singapur
id	DE-604.BV036665432
illustrated	Illustrated
indexdate	2024-07-20T10:46:14Z
institution	BVB
institution_GND	(DE-588)16081533-2
isbn	9783642156427
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-020584627
oclc_num	669171689
open_access_boolean
owner	DE-706 DE-91G DE-BY-TUM DE-11 DE-83
owner_facet	DE-706 DE-91G DE-BY-TUM DE-11 DE-83
physical	XI, 404 S. graph. Darst. 24 cm
publishDate	2010
publishDateSearch	2010
publishDateSort	2010
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Automated technology for verification and analysis 8th international symposium, ATVA 2010, Singapore, September 21 - 24, 2010 ; proceedings Ahmed Bouajjani ... (eds.) Berlin [u.a.] Springer 2010 XI, 404 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6252 Zeitbehafteter Automat (DE-588)4713349-1 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Systemanalyse (DE-588)4116673-5 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Systementwurf (DE-588)4261480-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2010 Singapur gnd-content Formale Methode (DE-588)4333722-3 s Verifikation (DE-588)4135577-5 s Softwareentwicklung (DE-588)4116522-6 s Systementwurf (DE-588)4261480-6 s Systemanalyse (DE-588)4116673-5 s DE-604 Model Checking (DE-588)4434799-6 s Zeitbehafteter Automat (DE-588)4713349-1 s Bouajjani, Ahmed Sonstige oth ATVA 8 2010 Singapur Sonstige (DE-588)16081533-2 oth Lecture notes in computer science 6252 (DE-604)BV000000607 6252 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3521291&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=020584627&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Automated technology for verification and analysis 8th international symposium, ATVA 2010, Singapore, September 21 - 24, 2010 ; proceedings Lecture notes in computer science Zeitbehafteter Automat (DE-588)4713349-1 gnd Softwareentwicklung (DE-588)4116522-6 gnd Formale Methode (DE-588)4333722-3 gnd Model Checking (DE-588)4434799-6 gnd Systemanalyse (DE-588)4116673-5 gnd Verifikation (DE-588)4135577-5 gnd Systementwurf (DE-588)4261480-6 gnd
subject_GND	(DE-588)4713349-1 (DE-588)4116522-6 (DE-588)4333722-3 (DE-588)4434799-6 (DE-588)4116673-5 (DE-588)4135577-5 (DE-588)4261480-6 (DE-588)1071861417
title	Automated technology for verification and analysis 8th international symposium, ATVA 2010, Singapore, September 21 - 24, 2010 ; proceedings
title_auth	Automated technology for verification and analysis 8th international symposium, ATVA 2010, Singapore, September 21 - 24, 2010 ; proceedings
title_exact_search	Automated technology for verification and analysis 8th international symposium, ATVA 2010, Singapore, September 21 - 24, 2010 ; proceedings
title_full	Automated technology for verification and analysis 8th international symposium, ATVA 2010, Singapore, September 21 - 24, 2010 ; proceedings Ahmed Bouajjani ... (eds.)
title_fullStr	Automated technology for verification and analysis 8th international symposium, ATVA 2010, Singapore, September 21 - 24, 2010 ; proceedings Ahmed Bouajjani ... (eds.)
title_full_unstemmed	Automated technology for verification and analysis 8th international symposium, ATVA 2010, Singapore, September 21 - 24, 2010 ; proceedings Ahmed Bouajjani ... (eds.)
title_short	Automated technology for verification and analysis
title_sort	automated technology for verification and analysis 8th international symposium atva 2010 singapore september 21 24 2010 proceedings
title_sub	8th international symposium, ATVA 2010, Singapore, September 21 - 24, 2010 ; proceedings
topic	Zeitbehafteter Automat (DE-588)4713349-1 gnd Softwareentwicklung (DE-588)4116522-6 gnd Formale Methode (DE-588)4333722-3 gnd Model Checking (DE-588)4434799-6 gnd Systemanalyse (DE-588)4116673-5 gnd Verifikation (DE-588)4135577-5 gnd Systementwurf (DE-588)4261480-6 gnd
topic_facet	Zeitbehafteter Automat Softwareentwicklung Formale Methode Model Checking Systemanalyse Verifikation Systementwurf Konferenzschrift 2010 Singapur
url	http://deposit.dnb.de/cgi-bin/dokserv?id=3521291&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=020584627&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT bouajjaniahmed automatedtechnologyforverificationandanalysis8thinternationalsymposiumatva2010singaporeseptember21242010proceedings AT atvasingapur automatedtechnologyforverificationandanalysis8thinternationalsymposiumatva2010singaporeseptember21242010proceedings

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