Integrated formal methods: 7th international conference, IFM 2009, Düsseldorf, Germany, February 16 - 19, 2009 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2009
|
| Schriftenreihe: | Lecture notes in computer science
5423 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | X, 366 S. graph. Darst. 24 cm |
| ISBN: | 9783642002540 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035387882 | ||
| 003 | DE-604 | ||
| 005 | 20090508 | ||
| 007 | t| | ||
| 008 | 090324s2009 xx d||| |||| 10||| eng d | ||
| 015 | |a 09,N07,0080 |2 dnb | ||
| 015 | |a 09,A10,0043 |2 dnb | ||
| 016 | 7 | |a 992291674 |2 DE-101 | |
| 020 | |a 9783642002540 |c kart. : EUR 56.66 (freier Pr.), sfr 88.00 (freier Pr.) |9 978-3-642-00254-0 | ||
| 024 | 3 | |a 9783642002540 | |
| 028 | 5 | 2 | |a 12618477 |
| 035 | |a (OCoLC)302315740 | ||
| 035 | |a (DE-599)DNB992291674 | ||
| 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.F67 | |
| 082 | 0 | |a 004 | |
| 082 | 0 | |a 005.101015113 |2 22/ger | |
| 082 | 0 | |a 004.0151 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 310f |2 stub | ||
| 245 | 1 | 0 | |a Integrated formal methods |b 7th international conference, IFM 2009, Düsseldorf, Germany, February 16 - 19, 2009 ; proceedings |c Michael Leuschel ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2009 | |
| 300 | |a X, 366 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 5423 | |
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Formale Methode - Spezifikationssprache - Verifikation - Kongress - Düsseldorf <2009> | |
| 650 | 4 | |a Model Checking - Formale Methode - Kongress - Düsseldorf <2009> | |
| 650 | 4 | |a Softwareentwicklung - Formale Methode - Kongress - Düsseldorf <2009> | |
| 650 | 4 | |a Systementwicklung - Formale Methode - Kongress - Düsseldorf <2009> | |
| 650 | 4 | |a Formal methods (Computer science) |v Congresses | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-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 Systementwicklung |0 (DE-588)4126945-7 |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 Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Spezifikationssprache |0 (DE-588)4182217-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2009 |z Düsseldorf |2 gnd-content | |
| 689 | 0 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Systementwicklung |0 (DE-588)4126945-7 |D s |
| 689 | 1 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 2 | 1 | |a Spezifikationssprache |0 (DE-588)4182217-1 |D s |
| 689 | 2 | 2 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 3 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 3 | |5 DE-604 | |
| 700 | 1 | |a Leuschel, Michael |e Sonstige |4 oth | |
| 711 | 2 | |a IFM |n 7 |d 2009 |c Düsseldorf |j Sonstige |0 (DE-588)10371929-5 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 5423 |w (DE-604)BV000000607 |9 5423 | |
| 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=017308717&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-017308717 | |
Datensatz im Suchindex
| _version_ | 1820875114608066560 |
|---|---|
| adam_text |
TABLE OF CONTENTS INVITED TALKS DEVELOPING TOPOLOGY DISCOVERY IN EVENT-B
1 THAI SON HOANG, HIRONOBU KURUMA, DAVID BASIN, AND JEAN-RAYMOND ABRIAL
DECOMPOSITION STRUCTURES FOR EVENT-B 20 MICHAEL BUTLER TAMING THE
UNBOUNDED FOR HARDWARE SYNTHESIS 39 BYRON COOK CONTRIBUTED PAPERS
VERIFYING UML/OCL OPERATION CONTRACTS 40 JORDI CABOT, ROBERT CLARISO,
AND DANIEL RIERA PROPERTY SPECIFICATIONS FOR WORKFLOW MODELLING 56 PETER
Y.H. WONG AND JEREMY GIBBONS FORMAL VERIFICATION BASED ON GUIDED RANDOM
WALKS 72 THANG H. BUI AND ALBERT NYMEYER PARALLEL PROCESSES WITH
REAL-TIME AND DATA: THE ATLANTIF INTERMEDIATE FORMAT 88 JAN STOECKER,
FREDERIC LANG, AND HUBERT GARAVEL CHANGING SYSTEM INTERFACES
CONSISTENTLY: A NEW REFINEMENT STRATEGY FOR CSP||B 103 STEVE SCHNEIDER
AND HELEN TREHARNE CSP WITH HIERARCHICAL STATE 118 ROBERT COLVIN AND IAN
J. HAYES PREDICATE ABSTRACTION IN A PROGRAM LOGIC CALCULUS 136 BENJAMIN
WEISS MECHANISED TRANSLATION OF CONTROL LAW DIAGRAMS INTO CIRCUS 151
FRANK ZEYDA AND ANA CAVALCANTI REALIZABILITY OF CHOREOGRAPHIES USING
PROCESS ALGEBRA ENCODINGS 167 GWEN SALAIIN AND TEVFIK BULTAN MODELLIN
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/992291674 DIGITALISIERT
DURCH X TABLE OF CONTENTS SAL-BASED SYMBOLIC SCHEDULING IN
TIME-TRIGGERED NETWORKS 200 SEBASTIAN VOSS, MARIA SOREA, AND KLAUS
ECHTLE INCREMENTAL REASONING FOR MULTIPLE INHERITANCE 215 JOHAN DOVLAND,
EINAR BROCH JOHNSEN, OLAF OWE, AND MARTIN STEFFEN MODEL CHECKING LTL
FORMULAE IN RAISE WITH FDR 231 ABIGAIL PARISACA VARGAS, ANA G. GARIS, S.
LIZETH TAPIA TARIFA, AND CHRIS GEORGE AN INTRODUCTION TO GRAMMAR
CONVERGENCE 246 RALF LAEMMEL AND VADIM ZAYTSEV APPLICATION OF GRAPH
TRANSFORMATION IN VERIFICATION OF DYNAMIC SYSTEMS 261 ZARRIN LANGARI AND
RICHARD TREFLER FORMAL PROBABILISTIC ANALYSIS OF STUCK-AT FAULTS IN
RECONFIGURABLE MEMORY ARRAYS 277 OSMAN HASAN, NAEEM ABBASI, AND SOFIENE
TAHAR CHALLENGES IN THE SPECIFICATION OF FULL CONTRACTS 292 GORDON J.
PACE AND GERARDO SCHNEIDER PARTIAL ORDER REDUCTION FOR STATE/EVENT LTL
307 NIKOLA BENES, LUBOS BRIM, IVANA CERND, JIRI SOCHOR, PAVLINA
VAFEKOVD, AND BARBORA ZIMMEROVA DYNAMIC PATH REDUCTION FOR SOFTWARE
MODEL CHECKING 322 ZIJIANG YANG, BASHAR AL-RAWI, KAREM SAKALLAH, XIAOWAN
HUANG, SCOTT SMOLKA, AND RADU GROSU AUTOMATIC GENERATION OF ERROR
MESSAGES FOR THE SYMBOLIC EXECUTION OF EB3 PROCESS EXPRESSIONS 337
JEREMY MILHAU, BENOIT FRAIKIN, AND MARC FRAPPIER DECOMPOSITIONAL PETRI
NET REDUCTIONS 352 ASTRID |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV035387882 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.F67 |
| callnumber-search | QA76.9.F67 |
| callnumber-sort | QA 276.9 F67 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 310f |
| ctrlnum | (OCoLC)302315740 (DE-599)DNB992291674 |
| dewey-full | 004 005.101015113 004.0151 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science 005 - Computer programming, programs, data, security |
| dewey-raw | 004 005.101015113 004.0151 |
| dewey-search | 004 005.101015113 004.0151 |
| 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">BV035387882</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090508</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">090324s2009 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,N07,0080</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,A10,0043</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">992291674</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642002540</subfield><subfield code="c">kart. : EUR 56.66 (freier Pr.), sfr 88.00 (freier Pr.)</subfield><subfield code="9">978-3-642-00254-0</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642002540</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12618477</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)302315740</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB992291674</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.F67</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.101015113</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</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 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Integrated formal methods</subfield><subfield code="b">7th international conference, IFM 2009, Düsseldorf, Germany, February 16 - 19, 2009 ; proceedings</subfield><subfield code="c">Michael Leuschel ... (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">X, 366 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">5423</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formale Methode - Spezifikationssprache - Verifikation - Kongress - Düsseldorf <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Model Checking - Formale Methode - Kongress - Düsseldorf <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Softwareentwicklung - Formale Methode - Kongress - Düsseldorf <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systementwicklung - Formale Methode - Kongress - Düsseldorf <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal methods (Computer science)</subfield><subfield code="v">Congresses</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">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">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">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">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">Spezifikationssprache</subfield><subfield code="0">(DE-588)4182217-1</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">Düsseldorf</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="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">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" 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="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">Spezifikationssprache</subfield><subfield code="0">(DE-588)4182217-1</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="689" ind1="3" ind2="0"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" 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="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Leuschel, Michael</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">IFM</subfield><subfield code="n">7</subfield><subfield code="d">2009</subfield><subfield code="c">Düsseldorf</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10371929-5</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">5423</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5423</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=017308717&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-017308717</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2009 Düsseldorf gnd-content |
| genre_facet | Konferenzschrift 2009 Düsseldorf |
| id | DE-604.BV035387882 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:10:28Z |
| institution | BVB |
| institution_GND | (DE-588)10371929-5 |
| isbn | 9783642002540 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017308717 |
| oclc_num | 302315740 |
| 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 | X, 366 S. graph. Darst. 24 cm |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Integrated formal methods 7th international conference, IFM 2009, Düsseldorf, Germany, February 16 - 19, 2009 ; proceedings Michael Leuschel ... (eds.) Berlin [u.a.] Springer 2009 X, 366 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 5423 Literaturangaben Formale Methode - Spezifikationssprache - Verifikation - Kongress - Düsseldorf <2009> Model Checking - Formale Methode - Kongress - Düsseldorf <2009> Softwareentwicklung - Formale Methode - Kongress - Düsseldorf <2009> Systementwicklung - Formale Methode - Kongress - Düsseldorf <2009> Formal methods (Computer science) Congresses Formale Methode (DE-588)4333722-3 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Systementwicklung (DE-588)4126945-7 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Spezifikationssprache (DE-588)4182217-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2009 Düsseldorf gnd-content Softwareentwicklung (DE-588)4116522-6 s Formale Methode (DE-588)4333722-3 s DE-604 Systementwicklung (DE-588)4126945-7 s Spezifikationssprache (DE-588)4182217-1 s Verifikation (DE-588)4135577-5 s Model Checking (DE-588)4434799-6 s Leuschel, Michael Sonstige oth IFM 7 2009 Düsseldorf Sonstige (DE-588)10371929-5 oth Lecture notes in computer science 5423 (DE-604)BV000000607 5423 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017308717&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Integrated formal methods 7th international conference, IFM 2009, Düsseldorf, Germany, February 16 - 19, 2009 ; proceedings Lecture notes in computer science Formale Methode - Spezifikationssprache - Verifikation - Kongress - Düsseldorf <2009> Model Checking - Formale Methode - Kongress - Düsseldorf <2009> Softwareentwicklung - Formale Methode - Kongress - Düsseldorf <2009> Systementwicklung - Formale Methode - Kongress - Düsseldorf <2009> Formal methods (Computer science) Congresses Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Systementwicklung (DE-588)4126945-7 gnd Model Checking (DE-588)4434799-6 gnd Verifikation (DE-588)4135577-5 gnd Spezifikationssprache (DE-588)4182217-1 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4116522-6 (DE-588)4126945-7 (DE-588)4434799-6 (DE-588)4135577-5 (DE-588)4182217-1 (DE-588)1071861417 |
| title | Integrated formal methods 7th international conference, IFM 2009, Düsseldorf, Germany, February 16 - 19, 2009 ; proceedings |
| title_auth | Integrated formal methods 7th international conference, IFM 2009, Düsseldorf, Germany, February 16 - 19, 2009 ; proceedings |
| title_exact_search | Integrated formal methods 7th international conference, IFM 2009, Düsseldorf, Germany, February 16 - 19, 2009 ; proceedings |
| title_full | Integrated formal methods 7th international conference, IFM 2009, Düsseldorf, Germany, February 16 - 19, 2009 ; proceedings Michael Leuschel ... (eds.) |
| title_fullStr | Integrated formal methods 7th international conference, IFM 2009, Düsseldorf, Germany, February 16 - 19, 2009 ; proceedings Michael Leuschel ... (eds.) |
| title_full_unstemmed | Integrated formal methods 7th international conference, IFM 2009, Düsseldorf, Germany, February 16 - 19, 2009 ; proceedings Michael Leuschel ... (eds.) |
| title_short | Integrated formal methods |
| title_sort | integrated formal methods 7th international conference ifm 2009 dusseldorf germany february 16 19 2009 proceedings |
| title_sub | 7th international conference, IFM 2009, Düsseldorf, Germany, February 16 - 19, 2009 ; proceedings |
| topic | Formale Methode - Spezifikationssprache - Verifikation - Kongress - Düsseldorf <2009> Model Checking - Formale Methode - Kongress - Düsseldorf <2009> Softwareentwicklung - Formale Methode - Kongress - Düsseldorf <2009> Systementwicklung - Formale Methode - Kongress - Düsseldorf <2009> Formal methods (Computer science) Congresses Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Systementwicklung (DE-588)4126945-7 gnd Model Checking (DE-588)4434799-6 gnd Verifikation (DE-588)4135577-5 gnd Spezifikationssprache (DE-588)4182217-1 gnd |
| topic_facet | Formale Methode - Spezifikationssprache - Verifikation - Kongress - Düsseldorf <2009> Model Checking - Formale Methode - Kongress - Düsseldorf <2009> Softwareentwicklung - Formale Methode - Kongress - Düsseldorf <2009> Systementwicklung - Formale Methode - Kongress - Düsseldorf <2009> Formal methods (Computer science) Congresses Formale Methode Softwareentwicklung Systementwicklung Model Checking Verifikation Spezifikationssprache Konferenzschrift 2009 Düsseldorf |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017308717&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT leuschelmichael integratedformalmethods7thinternationalconferenceifm2009dusseldorfgermanyfebruary16192009proceedings AT ifmdusseldorf integratedformalmethods7thinternationalconferenceifm2009dusseldorfgermanyfebruary16192009proceedings |