Formal methods for industrial critical systems: 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15 - 16, 2008 ; revised selected papers
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2009
|
| Schriftenreihe: | Lecture notes in computer science
5596 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | X, 231 S. graph. Darst. 24 cm |
| ISBN: | 9783642032394 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035647764 | ||
| 003 | DE-604 | ||
| 005 | 20090902 | ||
| 007 | t| | ||
| 008 | 090727s2009 xx d||| |||| 10||| eng d | ||
| 015 | |a 09,N28,0017 |2 dnb | ||
| 016 | 7 | |a 994909241 |2 DE-101 | |
| 020 | |a 9783642032394 |c kart. : EUR 45.96 (freier Pr.), sfr 67.00 (freier Pr.) |9 978-3-642-03239-4 | ||
| 024 | 3 | |a 9783642032394 | |
| 028 | 5 | 2 | |a 12711871 |
| 035 | |a (OCoLC)428011993 | ||
| 035 | |a (DE-599)DNB994909241 | ||
| 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 | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 260f |2 stub | ||
| 084 | |a 620 |2 sdnb | ||
| 084 | |a DAT 343f |2 stub | ||
| 245 | 1 | 0 | |a Formal methods for industrial critical systems |b 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15 - 16, 2008 ; revised selected papers |c Darren Cofer ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2009 | |
| 300 | |a X, 231 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 5596 | |
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Programmverifikation - Softwarespezifikation - Formale Methode - Zuverlässigkeit - Kongress - L'Aquila <2008> | |
| 650 | 4 | |a Sicherheitskritisches System - Eingebettetes System - Softwareentwicklung - Zuverlässigkeit - Kongress - L'Aquila <2008> | |
| 650 | 4 | |a Softwareentwicklung - Zuverlässigkeit - Fehlertoleranz - Formale Methode - Kongress - L'Aquila <2008> | |
| 650 | 4 | |a Systementwurf - Model Checking - Verifikation - Formale Methode - Kongress - L'Aquila <2008> | |
| 650 | 4 | |a Computer programs |x Reliability |v Congresses | |
| 650 | 4 | |a Computer programs |x Verification |v Congresses | |
| 650 | 4 | |a Computer software |x Reliability |v Congresses | |
| 650 | 4 | |a Computer software |x Verification |v Congresses | |
| 650 | 4 | |a Formal methods (Computer science) |v Congresses | |
| 650 | 4 | |a Software engineering |v Congresses | |
| 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 Programmverifikation |0 (DE-588)4135576-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 Zuverlässigkeit |0 (DE-588)4059245-5 |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 Softwarespezifikation |0 (DE-588)4056186-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Sicherheitskritisches System |0 (DE-588)4767762-4 |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 |
| 650 | 0 | 7 | |a Fehlertoleranz |0 (DE-588)4123192-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2008 |z L'Aquila |2 gnd-content | |
| 689 | 0 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | 1 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |D s |
| 689 | 0 | 2 | |a Fehlertoleranz |0 (DE-588)4123192-2 |D s |
| 689 | 0 | 3 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 1 | 1 | |a Softwarespezifikation |0 (DE-588)4056186-0 |D s |
| 689 | 1 | 2 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 1 | 3 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Sicherheitskritisches System |0 (DE-588)4767762-4 |D s |
| 689 | 2 | 1 | |a Eingebettetes System |0 (DE-588)4396978-1 |D s |
| 689 | 2 | 2 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 2 | 3 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Systementwurf |0 (DE-588)4261480-6 |D s |
| 689 | 3 | 1 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 3 | 2 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 3 | 3 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 3 | |5 DE-604 | |
| 700 | 1 | |a Cofer, Darren |e Sonstige |4 oth | |
| 711 | 2 | |a FMICS |n 13 |d 2008 |c L'Aquila |j Sonstige |0 (DE-588)16016503-9 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 5596 |w (DE-604)BV000000607 |9 5596 | |
| 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=017702424&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-017702424 | |
Datensatz im Suchindex
| _version_ | 1820875139158376448 |
|---|---|
| adam_text |
TABLE OF CONTENTS INVITED PRESENTATIONS FORMAL METHODS FOR CRITICAL
SYSTEMS (INVITED SPEAKER) 1 STEVEN P. MILLER MODEL-BASED VERIFICATION OF
AUTOMOTIVE CONTROL SOFTWARE (INVITED SPEAKER) 2 RANEE CLEAVELAND
CONTRACT-BASED ANALYSIS OF AUTOMOTIVE AND AVIONICS APPLICATIONS: THE
SPEEDS APPROACH (INVITED SPEAKER) 3 WERNER DAMM PANEL PANEL DISCUSSION
ON FORMAL METHODS IN COMMERCIAL SOFTWARE DEVELOPMENT TOOLS 4 ALESSANDRO
FANTECHI AND ALESSIO FERRARI RESEARCH PAPERS LETO - A LUSTRE-BASED TEST
ORACLE FOR AIRBUS CRITICAL SYSTEMS 7 GUY DURRIEU, HELENE WAESELYNCK, AND
VIRGINIE WIELS EXTENDING STRUCTURAL TEST COVERAGE CRITERIA FOR LUSTRE
PROGRAMS WITH MULTI-CLOCK OPERATORS 23 VIRGINIA PAPAILIOPOULOU, LAYA
MADANI, LYDIE DU BOUSQUET, AND IOANNIS PARISSIS FIGHTING STATE SPACE
EXPLOSION: REVIEW AND EVALUATION 37 RADEK PELANEK LOCAL QUANTITATIVE LTL
MODEL CHECKING 53 JIFI BARNAT, LUBOS BRIM, IVANA CERNA, MILAN CESKA, AND
JANA TUMOVA EFFICIENT SYMBOLIC MODEL CHECKING FOR PROCESS ALGEBRAS 69
JOSE VANDER MEULEN AND CHARLES PECHEUR REENTRANT READERS-WRITERS: A CASE
STUDY COMBINING MODEL CHECKING WITH THEOREM PROVING 85 BERNARD
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/994909241 DIGITALISIERT
DURCH AUTHOR INDEX 233 X TABLE OF CONTENTS USING CSP||B COMPONENTS:
APPLICATION TO A PLATOON OF VEHICLES 103 SAMUEL COLIN, ARNAUD LANOIX,
OLGA KOUCHNARENKO, AND JEANINE SOUQUIERES FORMAL VERIFICATION OF THE
IMPLEMENTABILITY OF TIMING REQUIREMENTS. 119 XIAYONG HU, MARK
LAWFORD, AND ALAN WASSYNG DYNAMIC EVENT-BASED RUNTIME MONITORING OF
REAL-TIME AND CONTEXTUAL PROPERTIES 135 CHRISTIAN COLOMBO, GORDON J.
PACE, AND GERARDO SCHNEIDER CAN FLASH MEMORY HELP IN MODEL CHECKING? 150
JIN BARNAT, LUBOS BRIM, STEFAN EDELKAMP, DAMIAN SULEWSKI, AND PAVEL
SIMECEK FROM INFORMAL REQUIREMENTS TO PROPERTY-DRIVEN FORMAL VALIDATION
. 166 ALESSANDRO CIMATTI, MARCO ROVERI, ANGELO SUSI, AND STEFANO
TONETTA AUTOMATED CERTIFICATION OF NON-INTERFERENCE IN REWRITING LOGIC
182 MAURICIO ALBA-CASTRO, MARIA ALPUENTE, AND SANTIAGO ESCOBAR FORMAL
VERIFICATION OF SAFETY FUNCTIONS BY REINTERPRETATION OF FUNCTIONAL BLOCK
BASED SPECIFICATIONS 199 ERZSEBET NEMETH AND TAMAS BARTHA USING DATALOG
AND BOOLEAN EQUATION SYSTEMS FOR PROGRAM ANALYSIS . . 215 MARIA
ALPUENTE, MARCO A. FELIU, CHRISTOPHE JOUBERT, AND ALICIA VILLANUEVA |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV035647764 |
| 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 260f DAT 343f |
| ctrlnum | (OCoLC)428011993 (DE-599)DNB994909241 |
| 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 | Maschinenbau / Maschinenwesen 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">BV035647764</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090902</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">090727s2009 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,N28,0017</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">994909241</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642032394</subfield><subfield code="c">kart. : EUR 45.96 (freier Pr.), sfr 67.00 (freier Pr.)</subfield><subfield code="9">978-3-642-03239-4</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642032394</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12711871</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)428011993</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB994909241</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="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 260f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">620</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 343f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal methods for industrial critical systems</subfield><subfield code="b">13th international workshop, FMICS 2008, L'Aquila, Italy, September 15 - 16, 2008 ; revised selected papers</subfield><subfield code="c">Darren Cofer ... (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, 231 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">5596</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmverifikation - Softwarespezifikation - Formale Methode - Zuverlässigkeit - Kongress - L'Aquila <2008></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Sicherheitskritisches System - Eingebettetes System - Softwareentwicklung - Zuverlässigkeit - Kongress - L'Aquila <2008></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Softwareentwicklung - Zuverlässigkeit - Fehlertoleranz - Formale Methode - Kongress - L'Aquila <2008></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systementwurf - Model Checking - Verifikation - Formale Methode - Kongress - L'Aquila <2008></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programs</subfield><subfield code="x">Reliability</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programs</subfield><subfield code="x">Verification</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Reliability</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Verification</subfield><subfield code="v">Congresses</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=" " ind2="4"><subfield code="a">Software engineering</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">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">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-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">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</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">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Sicherheitskritisches System</subfield><subfield code="0">(DE-588)4767762-4</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="650" ind1="0" ind2="7"><subfield code="a">Fehlertoleranz</subfield><subfield code="0">(DE-588)4123192-2</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">2008</subfield><subfield code="z">L'Aquila</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">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Fehlertoleranz</subfield><subfield code="0">(DE-588)4123192-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2="3"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</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">Sicherheitskritisches System</subfield><subfield code="0">(DE-588)4767762-4</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">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="3"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-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">Systementwurf</subfield><subfield code="0">(DE-588)4261480-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" 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="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="700" ind1="1" ind2=" "><subfield code="a">Cofer, Darren</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FMICS</subfield><subfield code="n">13</subfield><subfield code="d">2008</subfield><subfield code="c">L'Aquila</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16016503-9</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">5596</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5596</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=017702424&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-017702424</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2008 L'Aquila gnd-content |
| genre_facet | Konferenzschrift 2008 L'Aquila |
| id | DE-604.BV035647764 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:10:52Z |
| institution | BVB |
| institution_GND | (DE-588)16016503-9 |
| isbn | 9783642032394 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017702424 |
| oclc_num | 428011993 |
| 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, 231 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 | Formal methods for industrial critical systems 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15 - 16, 2008 ; revised selected papers Darren Cofer ... (eds.) Berlin [u.a.] Springer 2009 X, 231 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 5596 Literaturangaben Programmverifikation - Softwarespezifikation - Formale Methode - Zuverlässigkeit - Kongress - L'Aquila <2008> Sicherheitskritisches System - Eingebettetes System - Softwareentwicklung - Zuverlässigkeit - Kongress - L'Aquila <2008> Softwareentwicklung - Zuverlässigkeit - Fehlertoleranz - Formale Methode - Kongress - L'Aquila <2008> Systementwurf - Model Checking - Verifikation - Formale Methode - Kongress - L'Aquila <2008> Computer programs Reliability Congresses Computer programs Verification Congresses Computer software Reliability Congresses Computer software Verification Congresses Formal methods (Computer science) Congresses Software engineering Congresses Formale Methode (DE-588)4333722-3 gnd rswk-swf Eingebettetes System (DE-588)4396978-1 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Zuverlässigkeit (DE-588)4059245-5 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Softwarespezifikation (DE-588)4056186-0 gnd rswk-swf Sicherheitskritisches System (DE-588)4767762-4 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Systementwurf (DE-588)4261480-6 gnd rswk-swf Fehlertoleranz (DE-588)4123192-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2008 L'Aquila gnd-content Softwareentwicklung (DE-588)4116522-6 s Zuverlässigkeit (DE-588)4059245-5 s Fehlertoleranz (DE-588)4123192-2 s Formale Methode (DE-588)4333722-3 s DE-604 Programmverifikation (DE-588)4135576-3 s Softwarespezifikation (DE-588)4056186-0 s Sicherheitskritisches System (DE-588)4767762-4 s Eingebettetes System (DE-588)4396978-1 s Systementwurf (DE-588)4261480-6 s Model Checking (DE-588)4434799-6 s Verifikation (DE-588)4135577-5 s Cofer, Darren Sonstige oth FMICS 13 2008 L'Aquila Sonstige (DE-588)16016503-9 oth Lecture notes in computer science 5596 (DE-604)BV000000607 5596 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017702424&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Formal methods for industrial critical systems 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15 - 16, 2008 ; revised selected papers Lecture notes in computer science Programmverifikation - Softwarespezifikation - Formale Methode - Zuverlässigkeit - Kongress - L'Aquila <2008> Sicherheitskritisches System - Eingebettetes System - Softwareentwicklung - Zuverlässigkeit - Kongress - L'Aquila <2008> Softwareentwicklung - Zuverlässigkeit - Fehlertoleranz - Formale Methode - Kongress - L'Aquila <2008> Systementwurf - Model Checking - Verifikation - Formale Methode - Kongress - L'Aquila <2008> Computer programs Reliability Congresses Computer programs Verification Congresses Computer software Reliability Congresses Computer software Verification Congresses Formal methods (Computer science) Congresses Software engineering Congresses Formale Methode (DE-588)4333722-3 gnd Eingebettetes System (DE-588)4396978-1 gnd Programmverifikation (DE-588)4135576-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Zuverlässigkeit (DE-588)4059245-5 gnd Model Checking (DE-588)4434799-6 gnd Softwarespezifikation (DE-588)4056186-0 gnd Sicherheitskritisches System (DE-588)4767762-4 gnd Verifikation (DE-588)4135577-5 gnd Systementwurf (DE-588)4261480-6 gnd Fehlertoleranz (DE-588)4123192-2 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4396978-1 (DE-588)4135576-3 (DE-588)4116522-6 (DE-588)4059245-5 (DE-588)4434799-6 (DE-588)4056186-0 (DE-588)4767762-4 (DE-588)4135577-5 (DE-588)4261480-6 (DE-588)4123192-2 (DE-588)1071861417 |
| title | Formal methods for industrial critical systems 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15 - 16, 2008 ; revised selected papers |
| title_auth | Formal methods for industrial critical systems 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15 - 16, 2008 ; revised selected papers |
| title_exact_search | Formal methods for industrial critical systems 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15 - 16, 2008 ; revised selected papers |
| title_full | Formal methods for industrial critical systems 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15 - 16, 2008 ; revised selected papers Darren Cofer ... (eds.) |
| title_fullStr | Formal methods for industrial critical systems 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15 - 16, 2008 ; revised selected papers Darren Cofer ... (eds.) |
| title_full_unstemmed | Formal methods for industrial critical systems 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15 - 16, 2008 ; revised selected papers Darren Cofer ... (eds.) |
| title_short | Formal methods for industrial critical systems |
| title_sort | formal methods for industrial critical systems 13th international workshop fmics 2008 l aquila italy september 15 16 2008 revised selected papers |
| title_sub | 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15 - 16, 2008 ; revised selected papers |
| topic | Programmverifikation - Softwarespezifikation - Formale Methode - Zuverlässigkeit - Kongress - L'Aquila <2008> Sicherheitskritisches System - Eingebettetes System - Softwareentwicklung - Zuverlässigkeit - Kongress - L'Aquila <2008> Softwareentwicklung - Zuverlässigkeit - Fehlertoleranz - Formale Methode - Kongress - L'Aquila <2008> Systementwurf - Model Checking - Verifikation - Formale Methode - Kongress - L'Aquila <2008> Computer programs Reliability Congresses Computer programs Verification Congresses Computer software Reliability Congresses Computer software Verification Congresses Formal methods (Computer science) Congresses Software engineering Congresses Formale Methode (DE-588)4333722-3 gnd Eingebettetes System (DE-588)4396978-1 gnd Programmverifikation (DE-588)4135576-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Zuverlässigkeit (DE-588)4059245-5 gnd Model Checking (DE-588)4434799-6 gnd Softwarespezifikation (DE-588)4056186-0 gnd Sicherheitskritisches System (DE-588)4767762-4 gnd Verifikation (DE-588)4135577-5 gnd Systementwurf (DE-588)4261480-6 gnd Fehlertoleranz (DE-588)4123192-2 gnd |
| topic_facet | Programmverifikation - Softwarespezifikation - Formale Methode - Zuverlässigkeit - Kongress - L'Aquila <2008> Sicherheitskritisches System - Eingebettetes System - Softwareentwicklung - Zuverlässigkeit - Kongress - L'Aquila <2008> Softwareentwicklung - Zuverlässigkeit - Fehlertoleranz - Formale Methode - Kongress - L'Aquila <2008> Systementwurf - Model Checking - Verifikation - Formale Methode - Kongress - L'Aquila <2008> Computer programs Reliability Congresses Computer programs Verification Congresses Computer software Reliability Congresses Computer software Verification Congresses Formal methods (Computer science) Congresses Software engineering Congresses Formale Methode Eingebettetes System Programmverifikation Softwareentwicklung Zuverlässigkeit Model Checking Softwarespezifikation Sicherheitskritisches System Verifikation Systementwurf Fehlertoleranz Konferenzschrift 2008 L'Aquila |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017702424&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT coferdarren formalmethodsforindustrialcriticalsystems13thinternationalworkshopfmics2008laquilaitalyseptember15162008revisedselectedpapers AT fmicslaquila formalmethodsforindustrialcriticalsystems13thinternationalworkshopfmics2008laquilaitalyseptember15162008revisedselectedpapers |