Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2009
|
| Schriftenreihe: | Lecture Notes in Computer Science
5799 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XI, 414 S. 235 mm x 155 mm |
| ISBN: | 9783642047602 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035753599 | ||
| 003 | DE-604 | ||
| 005 | 20091127 | ||
| 007 | t| | ||
| 008 | 091005s2009 xx |||| 10||| eng d | ||
| 015 | |a 09,N38,0006 |2 dnb | ||
| 016 | 7 | |a 996515356 |2 DE-101 | |
| 020 | |a 9783642047602 |c PB. : EUR 66.34 (freier Pr.), sfr 96.50 (freier Pr.) |9 978-3-642-04760-2 | ||
| 024 | 3 | |a 9783642047602 | |
| 028 | 5 | 2 | |a 12768271 |
| 035 | |a (OCoLC)449849149 | ||
| 035 | |a (DE-599)DNB996515356 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA76.9.A96 | |
| 082 | 0 | |a 004 | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 704f |2 stub | ||
| 084 | |a DAT 286f |2 stub | ||
| 084 | |a DAT 325f |2 stub | ||
| 245 | 1 | 0 | |a Automated Technology for Verification and Analysis |b 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings |c Zhiming Liu ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2009 | |
| 300 | |a XI, 414 S. |c 235 mm x 155 mm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 5799 | |
| 650 | 4 | |a Formale Methode - Verifikation - Model Checking - Kongress - Macao <2009> | |
| 650 | 4 | |a Softwareentwicklung - Hardwareentwurf - Verifikation - Model Checking - Kongress - Macao <2009> | |
| 650 | 4 | |a Systementwurf - Systemanalyse - Formale Methode - Verifikation - Kongress - Macao <2009> | |
| 650 | 4 | |a Zeitbehafteter Automat - Eingebettetes System - Hybrides System - Formale Methode - Kongress - Macao <2009> | |
| 650 | 4 | |a Zeitbehafteter Automat - Eingebettetes System - Hybrides System - Model Checking - Kongress - Macao <2009> | |
| 650 | 4 | |a Automatic theorem proving |v Congresses | |
| 650 | 0 | 7 | |a Zeitbehafteter Automat |0 (DE-588)4713349-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 Eingebettetes System |0 (DE-588)4396978-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Hybrides System |0 (DE-588)4510314-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Hardwareentwurf |0 (DE-588)4159103-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |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 2009 |z Macao |2 gnd-content | |
| 689 | 0 | 0 | |a Systementwurf |0 (DE-588)4261480-6 |D s |
| 689 | 0 | 1 | |a Systemanalyse |0 (DE-588)4116673-5 |D s |
| 689 | 0 | 2 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | 3 | |a Verifikation |0 (DE-588)4135577-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 Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 2 | 1 | |a Hardwareentwurf |0 (DE-588)4159103-3 |D s |
| 689 | 2 | 2 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 2 | 3 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Zeitbehafteter Automat |0 (DE-588)4713349-1 |D s |
| 689 | 3 | 1 | |a Eingebettetes System |0 (DE-588)4396978-1 |D s |
| 689 | 3 | 2 | |a Hybrides System |0 (DE-588)4510314-8 |D s |
| 689 | 3 | 3 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 3 | |5 DE-604 | |
| 689 | 4 | 0 | |a Zeitbehafteter Automat |0 (DE-588)4713349-1 |D s |
| 689 | 4 | 1 | |a Eingebettetes System |0 (DE-588)4396978-1 |D s |
| 689 | 4 | 2 | |a Hybrides System |0 (DE-588)4510314-8 |D s |
| 689 | 4 | 3 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 4 | |5 DE-604 | |
| 700 | 1 | |a Liu, Zhiming |d 1961- |e Sonstige |0 (DE-588)129858900 |4 oth | |
| 711 | 2 | |a ATVA |n 7 |d 2009 |c Macau |j Sonstige |0 (DE-588)16023929-1 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 5799 |w (DE-604)BV000000607 |9 5799 | |
| 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=018613605&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-018613605 | |
Datensatz im Suchindex
| _version_ | 1820875178030137344 |
|---|---|
| adam_text |
IMAGE 1
TABLE OF CONTENTS
[NVITED TALKS VERIFYING VLSI CIRCUITS 1
MARK R. GREENSTREET
I- VALUED ABSTRACTION FOR (BOUNDED) MODEL CHECKING (ABSTRACT) 21 ORNA
GRUMBERG
LOCAL SEARCH IN MODEL CHECKING 22
A.W. ROSCOE, P.J. ARMSTRONG, AND PRAGYESH
STATE SPACE REDUCTION
EXPLORING THE SCOPE FOR PARTIAL ORDER REDUCTION 39
JACO GELDENHUYS, HENRI HANSEN, AND ANTTI VALMARI
STATE SPACE REDUCTION OF LINEAR PROCESSES USING CONTROL FLOW
RECONSTRUCTION 54
JACO VAN DE POL AND MARK TIMMER
\ DATA SYMMETRY REDUCTION TECHNIQUE FOR TEMPORAL-EPISTEMIC LOGIC 69
MIKA COHEN, MADS DAM, ALESSIO LOMUSCIO, AND HONGYANG QU
TOOLS
LAPAAL: EDITOR, SIMULATOR AND VERIFIER OF TIMED-ARC PETRI NETS 84 JOAKIM
BYG, KENNETH YRKE JPRGENSEN, AND JIFI SRBA
CLAN: A TOOL FOR CONTRACT ANALYSIS AND CONFLICT DISCOVERY 90 STEPHEN
FENECH, GORDON J. PACE, AND GERARDO SCHNEIDER
UNITCHECK: UNIT TESTING AND MODEL CHECKING COMBINED 97 MICHAL KEHRT AND
ONDFEJ SERY
PROBABILISTIC SYSTEMS
LTL MODEL CHECKING OF TIME-INHOMOGENEOUS MARKOV CHAINS 104 TAOLUE CHEN,
TINGTING HAN, JOOST-PIETER KATOEN, AND ALEXANDRA MEREACRE
STATISTICAL MODEL CHECKING USING PERFECT SIMULATION 120
DIANA EL RABIH AND NIHAL PEKERGIN
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/996515356
DIGITALISIERT DURCH
IMAGE 2
X TABLE OF CONTENTS
QUANTITATIVE ANALYSIS UNDER FAIRNESS CONSTRAINTS 135
CHRISTEL BAIER, MARCUS GROESSER, AND FRANK CIESINSKI
A DECOMPOSITIONAL PROOF SCHEME FOR AUTOMATED CONVERGENCE PROOFS OF
STOCHASTIC HYBRID SYSTEMS 151
JENS OEHLERKING AND OLIVER THEEL
MEDLEY
MEMORY USAGE VERIFICATION USING HIP/SLEEK 166
GUANHUA HE, SHENGCHAO QIN, CHENGUANG LUO, AND WEI-NGAN CHIN
SOLVING PARITY GAMES IN PRACTICE 182
OLIVER FRIEDMANN AND MARTIN LANGE
AUTOMATED ANALYSIS OF DATA-DEPENDENT PROGRAMS WITH DYNAMIC MEMORY 197
PAROSH AZIZ ABDULLA, MUHSIN ATTO, JONATHAN CEDERBERG, AND RAN JI
TEMPORAL LOGIC I
ON-THE-FLY EMPTINESS CHECK OF TRANSITION-BASED STREETT AUTOMATA 213
ALEXANDRE DURET-LUTZ, DENIS POITRENAUD, AND JEAN-MICHEL COUVREUR
ON MINIMAL ODD RANKINGS FOR BUCHI COMPLEMENTATION 228
HRISHIKESH KARMARKAR AND SUPRATIK CHAKRABORTY
SPECIFICATION LANGUAGES FOR STUTTER-INVARIANT REGULAR PROPERTIES 244
CHRISTIAN DAX, FELIX KLAEDTKE, AND STEFAN LEUE
ABSTRACTION AND REFINEMENT
INCREMENTAL FALSE PATH ELIMINATION FOR STATIC SOFTWARE ANALYSIS 255
ANSGAR FEHNKER, RALF HUUCK, AND SEAN SEEFRIED
A FRAMEWORK FOR COMPOSITIONAL VERIFICATION OF MULTI-VALUED SYSTEMS VIA
ABSTRACTION-REFINEMENT 271
YAEL MEILER, ORNA GRUMBERG, AND SHARON SHOHAM
DON'T KNOW FOR MULTI-VALUED SYSTEMS 289
ALARICO CAMPETELLI, ALEXANDER GRULER, MARTIN LEUCKER, AND DANIEL THOMA
LOGAHEDRA: A NEW WEAKLY RELATIONAL DOMAIN 306
JACOB M. HOWE AND ANDY KING
IMAGE 3
TABLE OF CONTENTS XI
FAULT TOLERANT SYSTEMS
SYNTHESIS OF FAULT-TOLERANT DISTRIBUTED SYSTEMS 321
RAYNA DIMITROVA AND BERND FINKBEINER
FORMAL VERIFICATION FOR HIGH-ASSURANCE BEHAVIORAL SYNTHESIS 337 SANDIP
RAY, KECHENG HAO, YAN CHEN, FEI XIE, AND JIN YANG
DYNAMIC OBSERVERS FOR THE SYNTHESIS OF OPAQUE SYSTEMS 352
FRANCK CASSEZ, JEREMY DUBREIL, AND HERVE MARCHAND
TEMPORAL LOGIC II
SYMBOLIC CTL MODEL CHECKING OF ASYNCHRONOUS SYSTEMS USING CONSTRAINED
SATURATION 368
YANG ZHAO AND GIANFRANCO CIARDO
LTL MODEL CHECKING FOR RECURSIVE PROGRAMS 382
GENG-DIAN HUANG, LIN-ZAN CAI, AND FARN WANG
ON DETECTING REGULAR PREDICATES IN DISTRIBUTED SYSTEMS 397
HONGTAO HUANG
AUTHOR INDEX 413 |
| any_adam_object | 1 |
| author_GND | (DE-588)129858900 |
| building | Verbundindex |
| bvnumber | BV035753599 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.A96 |
| callnumber-search | QA76.9.A96 |
| callnumber-sort | QA 276.9 A96 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 704f DAT 286f DAT 325f |
| ctrlnum | (OCoLC)449849149 (DE-599)DNB996515356 |
| 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 |
| 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">BV035753599</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20091127</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">091005s2009 xx |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,N38,0006</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">996515356</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642047602</subfield><subfield code="c">PB. : EUR 66.34 (freier Pr.), sfr 96.50 (freier Pr.)</subfield><subfield code="9">978-3-642-04760-2</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642047602</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12768271</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)449849149</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB996515356</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-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.A96</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</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 704f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 286f</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">7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings</subfield><subfield code="c">Zhiming Liu ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 414 S.</subfield><subfield code="c">235 mm x 155 mm</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">5799</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formale Methode - Verifikation - Model Checking - Kongress - Macao <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Softwareentwicklung - Hardwareentwurf - Verifikation - Model Checking - Kongress - Macao <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systementwurf - Systemanalyse - Formale Methode - Verifikation - Kongress - Macao <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Zeitbehafteter Automat - Eingebettetes System - Hybrides System - Formale Methode - Kongress - Macao <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Zeitbehafteter Automat - Eingebettetes System - Hybrides System - Model Checking - Kongress - Macao <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automatic theorem proving</subfield><subfield code="v">Congresses</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">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">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">Hybrides System</subfield><subfield code="0">(DE-588)4510314-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Hardwareentwurf</subfield><subfield code="0">(DE-588)4159103-3</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">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">2009</subfield><subfield code="z">Macao</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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="1"><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="2"><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="3"><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=" "><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">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Hardwareentwurf</subfield><subfield code="0">(DE-588)4159103-3</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="3"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Zeitbehafteter Automat</subfield><subfield code="0">(DE-588)4713349-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" 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="3" ind2="2"><subfield code="a">Hybrides System</subfield><subfield code="0">(DE-588)4510314-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" 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="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Zeitbehafteter Automat</subfield><subfield code="0">(DE-588)4713349-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" 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="4" ind2="2"><subfield code="a">Hybrides System</subfield><subfield code="0">(DE-588)4510314-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2="3"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Liu, Zhiming</subfield><subfield code="d">1961-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)129858900</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ATVA</subfield><subfield code="n">7</subfield><subfield code="d">2009</subfield><subfield code="c">Macau</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16023929-1</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">5799</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5799</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=018613605&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-018613605</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2009 Macao gnd-content |
| genre_facet | Konferenzschrift 2009 Macao |
| id | DE-604.BV035753599 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:11:29Z |
| institution | BVB |
| institution_GND | (DE-588)16023929-1 |
| isbn | 9783642047602 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018613605 |
| oclc_num | 449849149 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| physical | XI, 414 S. 235 mm x 155 mm |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings Zhiming Liu ... (eds.) Berlin [u.a.] Springer 2009 XI, 414 S. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 5799 Formale Methode - Verifikation - Model Checking - Kongress - Macao <2009> Softwareentwicklung - Hardwareentwurf - Verifikation - Model Checking - Kongress - Macao <2009> Systementwurf - Systemanalyse - Formale Methode - Verifikation - Kongress - Macao <2009> Zeitbehafteter Automat - Eingebettetes System - Hybrides System - Formale Methode - Kongress - Macao <2009> Zeitbehafteter Automat - Eingebettetes System - Hybrides System - Model Checking - Kongress - Macao <2009> Automatic theorem proving Congresses Zeitbehafteter Automat (DE-588)4713349-1 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf Eingebettetes System (DE-588)4396978-1 gnd rswk-swf Hybrides System (DE-588)4510314-8 gnd rswk-swf Hardwareentwurf (DE-588)4159103-3 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 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 2009 Macao gnd-content Systementwurf (DE-588)4261480-6 s Systemanalyse (DE-588)4116673-5 s Formale Methode (DE-588)4333722-3 s Verifikation (DE-588)4135577-5 s DE-604 Model Checking (DE-588)4434799-6 s Softwareentwicklung (DE-588)4116522-6 s Hardwareentwurf (DE-588)4159103-3 s Zeitbehafteter Automat (DE-588)4713349-1 s Eingebettetes System (DE-588)4396978-1 s Hybrides System (DE-588)4510314-8 s Liu, Zhiming 1961- Sonstige (DE-588)129858900 oth ATVA 7 2009 Macau Sonstige (DE-588)16023929-1 oth Lecture Notes in Computer Science 5799 (DE-604)BV000000607 5799 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018613605&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings Lecture Notes in Computer Science Formale Methode - Verifikation - Model Checking - Kongress - Macao <2009> Softwareentwicklung - Hardwareentwurf - Verifikation - Model Checking - Kongress - Macao <2009> Systementwurf - Systemanalyse - Formale Methode - Verifikation - Kongress - Macao <2009> Zeitbehafteter Automat - Eingebettetes System - Hybrides System - Formale Methode - Kongress - Macao <2009> Zeitbehafteter Automat - Eingebettetes System - Hybrides System - Model Checking - Kongress - Macao <2009> Automatic theorem proving Congresses Zeitbehafteter Automat (DE-588)4713349-1 gnd Formale Methode (DE-588)4333722-3 gnd Eingebettetes System (DE-588)4396978-1 gnd Hybrides System (DE-588)4510314-8 gnd Hardwareentwurf (DE-588)4159103-3 gnd Softwareentwicklung (DE-588)4116522-6 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)4333722-3 (DE-588)4396978-1 (DE-588)4510314-8 (DE-588)4159103-3 (DE-588)4116522-6 (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 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings |
| title_auth | Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings |
| title_exact_search | Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings |
| title_full | Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings Zhiming Liu ... (eds.) |
| title_fullStr | Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings Zhiming Liu ... (eds.) |
| title_full_unstemmed | Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings Zhiming Liu ... (eds.) |
| title_short | Automated Technology for Verification and Analysis |
| title_sort | automated technology for verification and analysis 7th international symposium atva 2009 macao china october 14 16 2009 proceedings |
| title_sub | 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings |
| topic | Formale Methode - Verifikation - Model Checking - Kongress - Macao <2009> Softwareentwicklung - Hardwareentwurf - Verifikation - Model Checking - Kongress - Macao <2009> Systementwurf - Systemanalyse - Formale Methode - Verifikation - Kongress - Macao <2009> Zeitbehafteter Automat - Eingebettetes System - Hybrides System - Formale Methode - Kongress - Macao <2009> Zeitbehafteter Automat - Eingebettetes System - Hybrides System - Model Checking - Kongress - Macao <2009> Automatic theorem proving Congresses Zeitbehafteter Automat (DE-588)4713349-1 gnd Formale Methode (DE-588)4333722-3 gnd Eingebettetes System (DE-588)4396978-1 gnd Hybrides System (DE-588)4510314-8 gnd Hardwareentwurf (DE-588)4159103-3 gnd Softwareentwicklung (DE-588)4116522-6 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 | Formale Methode - Verifikation - Model Checking - Kongress - Macao <2009> Softwareentwicklung - Hardwareentwurf - Verifikation - Model Checking - Kongress - Macao <2009> Systementwurf - Systemanalyse - Formale Methode - Verifikation - Kongress - Macao <2009> Zeitbehafteter Automat - Eingebettetes System - Hybrides System - Formale Methode - Kongress - Macao <2009> Zeitbehafteter Automat - Eingebettetes System - Hybrides System - Model Checking - Kongress - Macao <2009> Automatic theorem proving Congresses Zeitbehafteter Automat Formale Methode Eingebettetes System Hybrides System Hardwareentwurf Softwareentwicklung Model Checking Systemanalyse Verifikation Systementwurf Konferenzschrift 2009 Macao |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018613605&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT liuzhiming automatedtechnologyforverificationandanalysis7thinternationalsymposiumatva2009macaochinaoctober14162009proceedings AT atvamacau automatedtechnologyforverificationandanalysis7thinternationalsymposiumatva2009macaochinaoctober14162009proceedings |