Formal methods: foundations and applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 ; revised selected papers
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2009
|
| Schriftenreihe: | Lecture notes in computer science
5902 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | X, 351 S. graph. Darst. 235 mm x 155 mm |
| ISBN: | 9783642104510 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035828790 | ||
| 003 | DE-604 | ||
| 005 | 20161213 | ||
| 007 | t| | ||
| 008 | 091116s2009 xx d||| |||| 10||| eng d | ||
| 016 | 7 | |a 998031003 |2 DE-101 | |
| 020 | |a 9783642104510 |c PB. : EUR 57.78 (freier Pr.), sfr 84.00 (freier Pr.) |9 978-3-642-10451-0 | ||
| 024 | 3 | |a 9783642104510 | |
| 028 | 5 | 2 | |a 12793839 |
| 035 | |a (OCoLC)469635770 | ||
| 035 | |a (DE-599)DNB998031003 | ||
| 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 310f |2 stub | ||
| 084 | |a DAT 325f |2 stub | ||
| 245 | 1 | 0 | |a Formal methods: foundations and applications |b 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 ; revised selected papers |c Marcel Vinícius Medeiros Oliveira ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2009 | |
| 300 | |a X, 351 S. |b graph. Darst. |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 5902 | |
| 650 | 4 | |a Fehlertoleranz - Formale Methode - Kongress - Gramado <2009> | |
| 650 | 4 | |a Model Checking - Kongress - Gramado <2009> | |
| 650 | 4 | |a Sicherheitskritisches System - Interrupt <Informatik> - Formale Methode - Kongress - Gramado <2009> | |
| 650 | 4 | |a Software - Testen - Programmverifikation - Formale Methode - Kongress - Gramado <2009> | |
| 650 | 4 | |a Verifikation - Formale Methode - Kongress - Gramado <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 Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Interrupt |g Informatik |0 (DE-588)4625501-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwaretest |0 (DE-588)4132652-0 |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 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 Fehlertoleranz |0 (DE-588)4123192-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2009 |z Gramado |2 gnd-content | |
| 689 | 0 | 0 | |a Softwaretest |0 (DE-588)4132652-0 |D s |
| 689 | 0 | 1 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 0 | 2 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 1 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Sicherheitskritisches System |0 (DE-588)4767762-4 |D s |
| 689 | 2 | 1 | |a Interrupt |g Informatik |0 (DE-588)4625501-1 |D s |
| 689 | 2 | 2 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Fehlertoleranz |0 (DE-588)4123192-2 |D s |
| 689 | 3 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 3 | |5 DE-604 | |
| 689 | 4 | 0 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 4 | |5 DE-604 | |
| 700 | 1 | |a Oliveira, Marcel Vinícius Medeiros |e Sonstige |4 oth | |
| 711 | 2 | |a Brazilian Symposium on Formal Methods |n 12 |d 2009 |c Gramado |j Sonstige |0 (DE-588)16047521-1 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 5902 |w (DE-604)BV000000607 |9 5902 | |
| 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=018687375&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-018687375 | |
Datensatz im Suchindex
| _version_ | 1820875189680865280 |
|---|---|
| adam_text |
TABLE OF CONTENTS SPEEDING UP SIMULATION OF SYSTEMC USING MODEL CHECKING
1 NICOLAS BLANC AND DANIEL KROENING PARTIAL BEHAVIOUR MODELLING:
FOUNDATIONS FOR INCREMENTAL AND ITERATIVE MODEL-BASED SOFTWARE
ENGINEERING 17 SEBASTIAN UCHITEL SATISFIABILITY MODULO THEORIES: AN
APPETIZER 23 LEONARDO DE MOURA AND NIKOLAJ BJ0RNER INTERRUPTION TESTING
OF REACTIVE SYSTEMS 37 WILKERSON L. ANDRADE AND PATRICIA D.L. MACHADO
TEST CASE GENERATION OF EMBEDDED REAL-TIME SYSTEMS WITH INTERRUPTIONS
FOR FREERTOS 54 WILKERSON L. ANDRADE, PATRICIA D.L. MACHADO. EVERTON
L.G. ALVES, AND DIEGO R. ALMEIDA CONCURRENT MODELS OF FLASH MEMORY
DEVICE BEHAVIOUR 70 ANDREW BUTTERFIELD AND ART O CATHAIN CORECURSIVE
ALGEBRAS: A STUDY OF GENERAL STRUCTURED CORECURSION 84 VENANZIO
CAPRETTA, TARMO UUSTALU. AND VARMO VENE FORMALIZING FREERTOS: FIRST
STEPS 101 DAVID DEHARBE, STEPHENSON GALVAEO, AND ANAMARIA MARTINS MOREIRA
A MECHANIZED STRATEGY FOR SAFE ABSTRACTION OF CSP SPECIFICATIONS 118
ADRIANA DAMASCENO, ADALBERTO FARIAS, AND ALEXANDRE MOTA APPLYING EVENT
AND MACHINE DECOMPOSITION TO A FLASH-BASED FILESTORE IN EVENT-B 134
KRIANGSAK DAMCHOORN AND MICHAEL BUTLER AN INTEGRATED FORMAL METHODS
TOOL-CHAIN AND ITS APPLICATION TO VERIFYING A FILE SYSTEM MODEL 153
MIGUEL BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/998031003
DIGITALISIERT DURCH X TABLE OF CONTENTS A COMPLETE SET OF OBJECT
MODELING LAWS FOR ALLOY 204 ROHIT GHEYI, TIAGO MASSONI, PAULO BORBA, AND
AUGUSTO SAMPAIO UNDECIDABILITY RESULTS FOR DISTRIBUTED PROBABILISTIC
SYSTEMS 220 SERGIO GIRO FORMALISATION AND ANALYSIS OF OBJECTS AS CSP
PROCESSES 236 RENATA KAUFMAN, AUGUSTO SAMPAIO, AND ALEXANDRE MOTA
CONCOLIC TESTING OF THE MULTI-SECTOR READ OPERATION FOR FLASH MEMORY
FILE SYSTEM 251 MOONZOO KIM AND YUNHO KIM LOW-LEVEL CODE VERIFICATION
BASED ON CSP MODELS 266 MORITZ KLEINE AND STEFFEN HEIKE FORMAL MODELLING
OF A MICROCONTROLLER INSTRUCTION SET IN B 282 VALERIO MEDEIROS JR. AND
DAVID DEHARBE DEFINING BEHAVIOURS BY QUASI-FMALITY 290 ELISABETE FREIRE
AND LUIS MONTEIRO VERIFYING COMPILED FILE SYSTEM CODE 306 JAN TOBIAS
MUEHLBERG AND GERALD LUETTGEN REASONING ABOUT GENERAL QUANTUM PROGRAMS
OVER MIXED STATES 321 JULIANA KAIZER VIZZOTTO, GIOVANI RUBERT
LIBRELOTTO, AND AMR SABRY A SIMPLE AND GENERAL THEORETICAL ACCOUNT FOR
ABSTRACT TYPES 336 HONGWEI XI AUTHOR INDEX 351 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV035828790 |
| 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 DAT 325f |
| ctrlnum | (OCoLC)469635770 (DE-599)DNB998031003 |
| 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">BV035828790</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20161213</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">091116s2009 xx d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">998031003</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642104510</subfield><subfield code="c">PB. : EUR 57.78 (freier Pr.), sfr 84.00 (freier Pr.)</subfield><subfield code="9">978-3-642-10451-0</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642104510</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12793839</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)469635770</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB998031003</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 310f</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">Formal methods: foundations and applications</subfield><subfield code="b">12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 ; revised selected papers</subfield><subfield code="c">Marcel Vinícius Medeiros Oliveira ... (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, 351 S.</subfield><subfield code="b">graph. Darst.</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">5902</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Fehlertoleranz - Formale Methode - Kongress - Gramado <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Model Checking - Kongress - Gramado <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Sicherheitskritisches System - Interrupt <Informatik> - Formale Methode - Kongress - Gramado <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software - Testen - Programmverifikation - Formale Methode - Kongress - Gramado <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Verifikation - Formale Methode - Kongress - Gramado <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">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">Interrupt</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4625501-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</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">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">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">Gramado</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><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="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">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">Interrupt</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4625501-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Fehlertoleranz</subfield><subfield code="0">(DE-588)4123192-2</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="689" ind1="4" 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="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Oliveira, Marcel Vinícius Medeiros</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Brazilian Symposium on Formal Methods</subfield><subfield code="n">12</subfield><subfield code="d">2009</subfield><subfield code="c">Gramado</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16047521-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">5902</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5902</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=018687375&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-018687375</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2009 Gramado gnd-content |
| genre_facet | Konferenzschrift 2009 Gramado |
| id | DE-604.BV035828790 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:11:40Z |
| institution | BVB |
| institution_GND | (DE-588)16047521-1 |
| isbn | 9783642104510 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018687375 |
| oclc_num | 469635770 |
| 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, 351 S. graph. Darst. 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 | Formal methods: foundations and applications 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 ; revised selected papers Marcel Vinícius Medeiros Oliveira ... (eds.) Berlin [u.a.] Springer 2009 X, 351 S. graph. Darst. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 5902 Fehlertoleranz - Formale Methode - Kongress - Gramado <2009> Model Checking - Kongress - Gramado <2009> Sicherheitskritisches System - Interrupt <Informatik> - Formale Methode - Kongress - Gramado <2009> Software - Testen - Programmverifikation - Formale Methode - Kongress - Gramado <2009> Verifikation - Formale Methode - Kongress - Gramado <2009> Formal methods (Computer science) Congresses Formale Methode (DE-588)4333722-3 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Interrupt Informatik (DE-588)4625501-1 gnd rswk-swf Softwaretest (DE-588)4132652-0 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Sicherheitskritisches System (DE-588)4767762-4 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Fehlertoleranz (DE-588)4123192-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2009 Gramado gnd-content Softwaretest (DE-588)4132652-0 s Programmverifikation (DE-588)4135576-3 s Formale Methode (DE-588)4333722-3 s DE-604 Verifikation (DE-588)4135577-5 s Sicherheitskritisches System (DE-588)4767762-4 s Interrupt Informatik (DE-588)4625501-1 s Fehlertoleranz (DE-588)4123192-2 s Model Checking (DE-588)4434799-6 s Oliveira, Marcel Vinícius Medeiros Sonstige oth Brazilian Symposium on Formal Methods 12 2009 Gramado Sonstige (DE-588)16047521-1 oth Lecture notes in computer science 5902 (DE-604)BV000000607 5902 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018687375&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Formal methods: foundations and applications 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 ; revised selected papers Lecture notes in computer science Fehlertoleranz - Formale Methode - Kongress - Gramado <2009> Model Checking - Kongress - Gramado <2009> Sicherheitskritisches System - Interrupt <Informatik> - Formale Methode - Kongress - Gramado <2009> Software - Testen - Programmverifikation - Formale Methode - Kongress - Gramado <2009> Verifikation - Formale Methode - Kongress - Gramado <2009> Formal methods (Computer science) Congresses Formale Methode (DE-588)4333722-3 gnd Programmverifikation (DE-588)4135576-3 gnd Interrupt Informatik (DE-588)4625501-1 gnd Softwaretest (DE-588)4132652-0 gnd Model Checking (DE-588)4434799-6 gnd Sicherheitskritisches System (DE-588)4767762-4 gnd Verifikation (DE-588)4135577-5 gnd Fehlertoleranz (DE-588)4123192-2 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4135576-3 (DE-588)4625501-1 (DE-588)4132652-0 (DE-588)4434799-6 (DE-588)4767762-4 (DE-588)4135577-5 (DE-588)4123192-2 (DE-588)1071861417 |
| title | Formal methods: foundations and applications 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 ; revised selected papers |
| title_auth | Formal methods: foundations and applications 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 ; revised selected papers |
| title_exact_search | Formal methods: foundations and applications 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 ; revised selected papers |
| title_full | Formal methods: foundations and applications 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 ; revised selected papers Marcel Vinícius Medeiros Oliveira ... (eds.) |
| title_fullStr | Formal methods: foundations and applications 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 ; revised selected papers Marcel Vinícius Medeiros Oliveira ... (eds.) |
| title_full_unstemmed | Formal methods: foundations and applications 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 ; revised selected papers Marcel Vinícius Medeiros Oliveira ... (eds.) |
| title_short | Formal methods: foundations and applications |
| title_sort | formal methods foundations and applications 12th brazilian symposium on formal methods sbmf 2009 gramado brazil august 19 21 2009 revised selected papers |
| title_sub | 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 ; revised selected papers |
| topic | Fehlertoleranz - Formale Methode - Kongress - Gramado <2009> Model Checking - Kongress - Gramado <2009> Sicherheitskritisches System - Interrupt <Informatik> - Formale Methode - Kongress - Gramado <2009> Software - Testen - Programmverifikation - Formale Methode - Kongress - Gramado <2009> Verifikation - Formale Methode - Kongress - Gramado <2009> Formal methods (Computer science) Congresses Formale Methode (DE-588)4333722-3 gnd Programmverifikation (DE-588)4135576-3 gnd Interrupt Informatik (DE-588)4625501-1 gnd Softwaretest (DE-588)4132652-0 gnd Model Checking (DE-588)4434799-6 gnd Sicherheitskritisches System (DE-588)4767762-4 gnd Verifikation (DE-588)4135577-5 gnd Fehlertoleranz (DE-588)4123192-2 gnd |
| topic_facet | Fehlertoleranz - Formale Methode - Kongress - Gramado <2009> Model Checking - Kongress - Gramado <2009> Sicherheitskritisches System - Interrupt <Informatik> - Formale Methode - Kongress - Gramado <2009> Software - Testen - Programmverifikation - Formale Methode - Kongress - Gramado <2009> Verifikation - Formale Methode - Kongress - Gramado <2009> Formal methods (Computer science) Congresses Formale Methode Programmverifikation Interrupt Informatik Softwaretest Model Checking Sicherheitskritisches System Verifikation Fehlertoleranz Konferenzschrift 2009 Gramado |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018687375&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT oliveiramarcelviniciusmedeiros formalmethodsfoundationsandapplications12thbraziliansymposiumonformalmethodssbmf2009gramadobrazilaugust19212009revisedselectedpapers AT braziliansymposiumonformalmethodsgramado formalmethodsfoundationsandapplications12thbraziliansymposiumonformalmethodssbmf2009gramadobrazilaugust19212009revisedselectedpapers |