Formal methods for industrial critical systems: 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2009
|
| Schriftenreihe: | Lecture notes in computer science
5825 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | X, 212 S. graph. Darst. |
| ISBN: | 9783642045691 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035818055 | ||
| 003 | DE-604 | ||
| 005 | 20100114 | ||
| 007 | t| | ||
| 008 | 091110s2009 gw d||| |||| 10||| eng d | ||
| 015 | |a 09,N36,0044 |2 dnb | ||
| 016 | 7 | |a 996064761 |2 DE-101 | |
| 020 | |a 9783642045691 |c PB. : ca. EUR 49.22 (freier Pr.), ca. sfr 71.50 (freier Pr.) |9 978-3-642-04569-1 | ||
| 024 | 3 | |a 9783642045691 | |
| 028 | 5 | 2 | |a 12761746 |
| 035 | |a (OCoLC)449850003 | ||
| 035 | |a (DE-599)DNB996064761 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-706 |a DE-91G |a DE-83 | ||
| 082 | 0 | |a 005.131 | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 310f |2 stub | ||
| 084 | |a DAT 260f |2 stub | ||
| 245 | 1 | 0 | |a Formal methods for industrial critical systems |b 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 ; proceedings |c María Alpuente ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2009 | |
| 300 | |a X, 212 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 5825 | |
| 650 | 4 | |a Programmverifikation - Softwarespezifikation - Formale Methode - Zuverlässigkeit - Kongress - Eindhoven <2009> | |
| 650 | 4 | |a Sicherheitskritisches System - Eingebettetes System - Softwareentwicklung - Zuverlässigkeit - Kongress - Eindhoven <2009> | |
| 650 | 4 | |a Softwareentwicklung - Zuverlässigkeit - Fehlertoleranz - Formale Methode - Kongress - Eindhoven <2009> | |
| 650 | 4 | |a Systementwurf - Model Checking - Verifikation - Formale Methode - Kongress - Eindhoven <2009> | |
| 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 2009 |z Eindhoven |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 Alpuente, María |e Sonstige |4 oth | |
| 711 | 2 | |a FMICS |n 14 |d 2009 |c Eindhoven |j Sonstige |0 (DE-588)6105243-7 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 5825 |w (DE-604)BV000000607 |9 5825 | |
| 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=018676860&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-018676860 | |
Datensatz im Suchindex
| _version_ | 1820875185188765696 |
|---|---|
| adam_text |
TABLE OF CONTENTS INVITED PAPERS ATTACKING LARGE INDUSTRIAL CODE WITH
BI-ABDUCTIVE INFERENCE 1 DINO DISTEFANO ON A UNIFORM FRAMEWORK FOR THE
DEFINITION OF STOCHASTIC PROCESS LANGUAGES 9 ROCCO DE NICOLA, DIEGO
LATELLA, MICHELE LORDI, AND MIEKE MASSINK APPLYING A FORMAL METHOD IN
INDUSTRY: A 15-YEAR TRAJECTORY 26 THIERRY LECOMTE WHAT'S IN COMMON
BETWEEN TEST, MODEL CHECKING, AND DECISION PROCEDURES? 35 KEN L.
MCMILLAN CONTRIBUTED PAPERS VERIFYING CRYPTOGRAPHIC SOFTWARE CORRECTNESS
WITH RESPECT TO REFERENCE IMPLEMENTATIONS 37 JOSE BACELAR ALMEIDA,
MANUEL BARBOSA, JORGE SOUSA PINTO, AND BARBARA VIEIRA TOWARDS AN
INDUSTRIAL USE OF FLUCTUAT ON SAFETY-CRITICAL AVIONICS SOFTWARE 53 DAVID
DELMAS, ERIC GOUBAULT, SYLVIE PUTOT, JEAN SOUYRIS, KARIM TEKKAL, AND
FRANCK VEDRINE DYNAMIC STATE SPACE PARTITIONING FOR EXTERNAL MEMORY
MODEL CHECKING 70 SAMI EVANGELISTA AND LARS MICHAEL KRISTENSEN
COMPOSITIONAL VERIFICATION OF A COMMUNICATION PROTOCOL FOR A REMOTELY
OPERATED VEHICLE 86 ALWYN E. GOODLOE AND CESAR A. MUNOZ MODELING
CONCURRENT SYSTEMS WITH SHARED RESOURCES 102 ANGEL HERRANZ, JULIO
MARINO, MANUEL CARRO, AND JUAN JOSE MORENO NAVARRO PLATFORM-SPECIFIC
RESTRICTIONS ON CONCURRENCY IN MODEL CHECKING OF JAV BIBLIOGRAFISCHE
INFORMATIONEN HTTP://D-NB.INFO/996064761 DIGITALISIERT DURCH X TABLE OF
CONTENTS FORMAL ANALYSIS OF NON-DETERMINISM IN VERILOG CELL LIBRARY
SIMULATION MODELS 133 MATTHIAS RAFFELSIEPER, MOHAMMADREZA MOUSAVI, JAN-
WILLEM ROORDA, CHRIS STROLENBERG, AND HANS ZANTEMA PREEMPTION
ABSTRACTION: A LIGHTWEIGHT APPROACH TO MODELLING CONCURRENCY 149 ERIK
SCHIERBOOM, ALEJANDRO TAMALET, HENDRIK TEWS, MARKO VAN EEKELEN, AND
SJAAK SMETSERS A RIGOROUS METHODOLOGY FOR COMPOSING SERVICES 165 KENNETH
J. TURNER AND KOON LEAI LARRY TAN A CERTIFIED IMPLEMENTATION ON TOP OF
THE JAVA VIRTUAL MACHINE 181 JAVIER DE DIOS AND RICARDO PENA SELECTED
POSTERS FORMAL DEVELOPMENT FOR RAILWAY SIGNALING USING COMMERCIAL TOOLS
. 197 ALESSIO FERRARI, ALESSANDRO FANTECHI, STEFANO BACHERINI, AND
NICCOLO ZINGONI INTEGRATED FORMAL APPROACH FOR QUALIFIED CRITICAL
EMBEDDED CODE GENERATOR , 199 NASSIMA IZERROUKEN, MARC PANTEL, XAVIER
THIRIOUX, AND OLIVIER SSI YAN KAI VISUALISING EVENT-B MODELS WITH
B-MOTION STUDIO 202 LUKAS LADENBERGER, JENS BENDISPOSTO, AND MICHAEL
LEUSCHEL BEHAVIOURAL ANALYSIS OF AN I 2 C LINUX DRIVER 205 DRAGAN
BOSNACKI, AAD MATHIJSSEN, AND YAROSLAV S. USENKO MODEL-BASED TESTING OF
ELECTRONIC PASSPORTS 207 WOJCIECH MOSTOWSKI, ERIK POLL, JULIEN SCHMALTZ,
JAN TRETMANS, AND RONNY |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV035818055 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 310f DAT 260f |
| ctrlnum | (OCoLC)449850003 (DE-599)DNB996064761 |
| dewey-full | 005.131 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.131 |
| dewey-search | 005.131 |
| dewey-sort | 15.131 |
| 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">BV035818055</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100114</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">091110s2009 gw d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,N36,0044</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">996064761</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642045691</subfield><subfield code="c">PB. : ca. EUR 49.22 (freier Pr.), ca. sfr 71.50 (freier Pr.)</subfield><subfield code="9">978-3-642-04569-1</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642045691</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12761746</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)449850003</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB996064761</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.131</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="084" ind1=" " ind2=" "><subfield code="a">DAT 260f</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">14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 ; proceedings</subfield><subfield code="c">María Alpuente ... (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, 212 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">5825</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmverifikation - Softwarespezifikation - Formale Methode - Zuverlässigkeit - Kongress - Eindhoven <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Sicherheitskritisches System - Eingebettetes System - Softwareentwicklung - Zuverlässigkeit - Kongress - Eindhoven <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Softwareentwicklung - Zuverlässigkeit - Fehlertoleranz - Formale Methode - Kongress - Eindhoven <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systementwurf - Model Checking - Verifikation - Formale Methode - Kongress - Eindhoven <2009></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">2009</subfield><subfield code="z">Eindhoven</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">Alpuente, María</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">14</subfield><subfield code="d">2009</subfield><subfield code="c">Eindhoven</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6105243-7</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">5825</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5825</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=018676860&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-018676860</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2009 Eindhoven gnd-content |
| genre_facet | Konferenzschrift 2009 Eindhoven |
| id | DE-604.BV035818055 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:11:36Z |
| institution | BVB |
| institution_GND | (DE-588)6105243-7 |
| isbn | 9783642045691 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018676860 |
| oclc_num | 449850003 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-83 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-83 |
| physical | X, 212 S. graph. Darst. |
| 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 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 ; proceedings María Alpuente ... (eds.) Berlin [u.a.] Springer 2009 X, 212 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 5825 Programmverifikation - Softwarespezifikation - Formale Methode - Zuverlässigkeit - Kongress - Eindhoven <2009> Sicherheitskritisches System - Eingebettetes System - Softwareentwicklung - Zuverlässigkeit - Kongress - Eindhoven <2009> Softwareentwicklung - Zuverlässigkeit - Fehlertoleranz - Formale Methode - Kongress - Eindhoven <2009> Systementwurf - Model Checking - Verifikation - Formale Methode - Kongress - Eindhoven <2009> 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 2009 Eindhoven 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 Alpuente, María Sonstige oth FMICS 14 2009 Eindhoven Sonstige (DE-588)6105243-7 oth Lecture notes in computer science 5825 (DE-604)BV000000607 5825 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018676860&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Formal methods for industrial critical systems 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 ; proceedings Lecture notes in computer science Programmverifikation - Softwarespezifikation - Formale Methode - Zuverlässigkeit - Kongress - Eindhoven <2009> Sicherheitskritisches System - Eingebettetes System - Softwareentwicklung - Zuverlässigkeit - Kongress - Eindhoven <2009> Softwareentwicklung - Zuverlässigkeit - Fehlertoleranz - Formale Methode - Kongress - Eindhoven <2009> Systementwurf - Model Checking - Verifikation - Formale Methode - Kongress - Eindhoven <2009> 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 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 ; proceedings |
| title_auth | Formal methods for industrial critical systems 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 ; proceedings |
| title_exact_search | Formal methods for industrial critical systems 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 ; proceedings |
| title_full | Formal methods for industrial critical systems 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 ; proceedings María Alpuente ... (eds.) |
| title_fullStr | Formal methods for industrial critical systems 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 ; proceedings María Alpuente ... (eds.) |
| title_full_unstemmed | Formal methods for industrial critical systems 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 ; proceedings María Alpuente ... (eds.) |
| title_short | Formal methods for industrial critical systems |
| title_sort | formal methods for industrial critical systems 14th international workshop fmics 2009 eindhoven the netherlands november 2 3 2009 proceedings |
| title_sub | 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 ; proceedings |
| topic | Programmverifikation - Softwarespezifikation - Formale Methode - Zuverlässigkeit - Kongress - Eindhoven <2009> Sicherheitskritisches System - Eingebettetes System - Softwareentwicklung - Zuverlässigkeit - Kongress - Eindhoven <2009> Softwareentwicklung - Zuverlässigkeit - Fehlertoleranz - Formale Methode - Kongress - Eindhoven <2009> Systementwurf - Model Checking - Verifikation - Formale Methode - Kongress - Eindhoven <2009> 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 - Eindhoven <2009> Sicherheitskritisches System - Eingebettetes System - Softwareentwicklung - Zuverlässigkeit - Kongress - Eindhoven <2009> Softwareentwicklung - Zuverlässigkeit - Fehlertoleranz - Formale Methode - Kongress - Eindhoven <2009> Systementwurf - Model Checking - Verifikation - Formale Methode - Kongress - Eindhoven <2009> Formale Methode Eingebettetes System Programmverifikation Softwareentwicklung Zuverlässigkeit Model Checking Softwarespezifikation Sicherheitskritisches System Verifikation Systementwurf Fehlertoleranz Konferenzschrift 2009 Eindhoven |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018676860&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT alpuentemaria formalmethodsforindustrialcriticalsystems14thinternationalworkshopfmics2009eindhoventhenetherlandsnovember232009proceedings AT fmicseindhoven formalmethodsforindustrialcriticalsystems14thinternationalworkshopfmics2009eindhoventhenetherlandsnovember232009proceedings |