FM 2009: Formal methods: second world congress, Eindhoven, The Netherlands, November 2 - 6, 2009 ; proceedings
Gespeichert in:
Körperschaft: | |
---|---|
Format: | Tagungsbericht Buch |
Sprache: | English |
Veröffentlicht: |
Berlin [u.a.]
Springer
2009
|
Schriftenreihe: | Lecture notes in computer science
5850 |
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | Literaturangaben |
Beschreibung: | XVII, 820 S. graph. Darst. 24 cm |
ISBN: | 9783642050886 |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV035818251 | ||
003 | DE-604 | ||
005 | 20091204 | ||
007 | t| | ||
008 | 091110s2009 xx d||| |||| 10||| eng d | ||
015 | |a 09,N41,0017 |2 dnb | ||
016 | 7 | |a 996985786 |2 DE-101 | |
020 | |a 9783642050886 |c kart. : EUR 101.65 (freier Pr.), sfr 147.50 (freier Pr.) |9 978-3-642-05088-6 | ||
024 | 3 | |a 9783642050886 | |
028 | 5 | 2 | |a 12778379 |
035 | |a (OCoLC)743753663 | ||
035 | |a (DE-599)DNB996985786 | ||
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.76 | |
082 | 0 | |a 005.1 |2 22 | |
082 | 0 | |a 005.131 |2 22/ger | |
084 | |a DAT 510f |2 stub | ||
084 | |a 004 |2 sdnb | ||
084 | |a DAT 310f |2 stub | ||
111 | 2 | |a FM |n 16 |d 2009 |c Eindhoven |j Verfasser |0 (DE-588)16026560-5 |4 aut | |
245 | 1 | 0 | |a FM 2009: Formal methods |b second world congress, Eindhoven, The Netherlands, November 2 - 6, 2009 ; proceedings |c Ana Cavalcanti ... (ed.) |
264 | 1 | |a Berlin [u.a.] |b Springer |c 2009 | |
300 | |a XVII, 820 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 5850 | |
500 | |a Literaturangaben | ||
650 | 4 | |a Formale Methode - Kongress - Eindhoven <2009> | |
650 | 4 | |a Mathematik | |
650 | 4 | |a Computer software |x Development |v Congresses | |
650 | 4 | |a Formal methods (Computer science) |v Congresses | |
650 | 4 | |a System design |x Mathematics |v Congresses | |
650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2009 |z Eindhoven |2 gnd-content | |
689 | 0 | 0 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
689 | 0 | |5 DE-604 | |
700 | 1 | |a Cavalcanti, Ana |e Sonstige |4 oth | |
830 | 0 | |a Lecture notes in computer science |v 5850 |w (DE-604)BV000000607 |9 5850 | |
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=018677052&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-018677052 |
Datensatz im Suchindex
_version_ | 1820875186770018304 |
---|---|
adam_text |
IMAGE 1
TABLE OF CONTENTS
INVITED PAPERS FORMAL METHODS FOR PRIVACY 1
MICHAEL CARL TSCHANTZ AND JEANNETTE M. WING
WHAT CAN FORMAL METHODS BRING TO SYSTEMS BIOLOGY? 16
NICOLA BONZANNI, K. ANTON FEENSTRA, WAN FOKKINK, AND ELZBIETA KREPSKA
GUESS AND VERIFY - BACK TO THE FUTURE 23
COLIN O'HALLORAN
VERIFICATION, TESTING AND STATISTICS 33
SRIRAM K. RAJAMANI
SECURITY, PROBABILITY AND NEARLY FAIR COINS IN THE CRYPTOGRAPHERS' CAFE
41
ANNABELLE MCLVER, LARISSA MEINICKE, AND CARROLL MORGAN
MODEL CHECKING I
RECURSIVE ABSTRACTIONS FOR PARAMETERIZED SYSTEMS 72
JOXAN JAFFAR AND ANDREW E. SANTOSA
ABSTRACT MODEL CHECKING WITHOUT COMPUTING THE ABSTRACTION 89 STEFANO
TONETTA
THREE-VALUED SPOTLIGHT ABSTRACTIONS 106
JONAS SCHRIEB, HEIKE WEHRHEIM, AND DANIEL WONISCH
FAIR MODEL CHECKING WITH PROCESS COUNTER ABSTRACTION 123
JUN SUN, YANG LIU, ABHIK ROYCHOUDHURY, SHANSHAN LIU, AND JIN SONG DONG
COMPOSITIONALITY
SYSTEMATIC DEVELOPMENT OF TRUSTWORTHY COMPONENT SYSTEMS 140 RODRIGO
RAMOS, AUGUSTO SAMPAIO, AND ALEXANDRE MOTA
PARTIAL ORDER REDUCTIONS USING COMPOSITIONAL CONFLUENCE DETECTION . .
157 FREDERIC LANG AND RADU MATEESCU
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/996985786
DIGITALISIERT DURCH
IMAGE 2
XIV TABLE OF CONTENTS
A FORMAL METHOD FOR DEVELOPING PROVABLY CORRECT FAULT-TOLERANT SYSTEMS
USING PARTIAL REFINEMENT AND COMPOSITION 173
RALPH JEFFORDS, CONSTANCE HEITMEYER, MYLA ARCHER, AND ELIZABETH LEONARD
VERIFICATION
ABSTRACT SPECIFICATION OF T HE UBIFS FILE SYSTEM FOR FLASH MEMORY . . .
190 ANDREAS SCHIERI, GERHARD SCHELLHORN, DOMINIK HANEBERG, AND WOLFGANG
REI}
INFERRING MEALY MACHINES 207
MUZAMMIL SHAHBAZ AND ROLAND GROZ
FORMAL MANAGEMENT OF CAD/CAM PROCESSES 223
MICHAEL KOHLHASE, JOHANNES LEMBURG, LUTZ SCHROEDER, AND EWARYST SCHULZ
CONCURRENCY
TRANSLATING SAFE PETRI NETS TO STATECHARTS IN A STRUCTURE-PRESERVING WAY
239
RIK ESHUIS
SYMBOLIC PREDICTIVE ANALYSIS FOR CONCURRENT PROGRAMS 256 CHAO WANG,
SUDIPTA KUNDU, MALAY GANAI, AND AARTI GUPTA
ON THE DIFFICULTIES OF CONCURRENT-SYSTEM DESIGN, ILLUSTRATED WITH A 2X2
SWITCH CASE STUDY 273
EDGAR G. DAYLIGHT AND SANDEEP K. SHUKLA
REFINEMENT
SUMS AND LOVERS: CASE STUDIES IN SECURITY, COMPOSITIONALITY AND
REFINEMENT 289
ANNABELLE K, MCLVER AND CARROLL C. MORGAN
ITERATIVE REFINEMENT OF REVERSE-ENGINEERED MODELS BY MODEL-BASED TESTING
305
NEIL WALKINSHAW, JOHN DERRICK, AND QIANG GUO
MODEL CHECKING LINEARIZABILITY VIA REFINEMENT 321
YANG LIU, WEI CHEN, YANHONG A. LIU, AND JUN SUN
IMAGE 3
TABLE OF CONTENTS XV
STATIC ANALYSIS
IT'S DOOMED; WE CAN PROVE IT 338
JOCHEN HOENICKE, K. RUSTAN M. LEINO, ANDREAS PODELSKI, MARTIN SCHAF, AND
THOMAS WIES
"CARBON CREDITS" FOR RESOURCE-BOUNDED COMPUTATIONS USING AMORTISED
ANALYSIS 354
STEFFEN JOST, HANS-WOLFGANG LOIDL, KEVIN HAMMOND, NORMAN SCAIFE, AND
MARTIN HOFMANN
FIELD-SENSITIVE VALUE ANALYSIS BY FIELD-INSENSITIVE ANALYSIS 370 ELVIRA
ALBERT, PURI ARENAS, SAMIR GENAIM, AND GERMAN PUEBLA
THEOREM PROVING
MAKING TEMPORAL LOGIC CALCULATIONAL: A TOOL FOR UNIFICATION AND
DISCOVERY 387
RAYMOND BOUTE
A TABLEAU FOR CTL* 403
MARK REYNOLDS
CERTIFIABLE SPECIFICATION AND VERIFICATION OF C PROGRAMS 419
CHRISTOPH LUETH AND DENNIS WALTER
FORMAL REASONING ABOUT EXPECTATION PROPERTIES FOR CONTINUOUS RANDOM
VARIABLES 435
OSMAN HASAN, NAEEM ABBASI, BEHZAD AKBARPOUR, SOFIENE TAHAR, AND REZA
AKBARPOUR
SEMANTICS
THE DENOTATIONAL SEMANTICS OF SLOTTED-CIRCUS 451
PAWEL GANCARSKI AND ANDREW BUTTERFIELD
UNIFYING PROBABILITY WITH NONDETERMINISM 467
YIFENG CHEN AND J. W. SANDERS
TOWARDS AN OPERATIONAL SEMANTICS FOR ALLOY 483
THEOPHILOS GIANNAKOPOULOS, DANIEL J. DOUGHERTY, KATHI FISLER, AND
SHRIRAM KRISHNAMURTHI
A ROBUST SEMANTICS HIDES FEWER ERRORS 499
STEVE REEVES AND DAVID STREADER
IMAGE 4
XVI TABLE OF CONTENTS
SPECIAL TRACK: INDUSTRIAL APPLICATIONS I
ANALYSIS OF A CLOCK SYNCHRONIZATION PROTOCOL FOR WIRELESS SENSOR
NETWORKS 516
FARANAK HEIDARIAN, JULIEN SCHMALTZ, AND FRITS VAANDRAGER
FORMAL VERIFICATION OF AVIONICS SOFTWARE PRODUCTS 532
JEAN SOUYRIS, VIRGINIE WIELS, DAVID DELMAS, AND HERVE DELSENY
FORMAL VERIFICATION OF CURVED FLIGHT COLLISION AVOIDANCE MANEUVERS: A
CASE STUDY 547
ANDRE PLATZER AND EDMUND M. CLARKE
OBJECT-ORIENTATION
CONNECTING UML AND VDM++ WITH OPEN TOOL SUPPORT 563 KENNETH LAUSDAHL,
HANS KRISTIAN AGERLUND LINTRUP, AND PETER GORM LARSEN
LANGUAGE AND TOOL SUPPORT FOR CLASS AND STATE MACHINE REFINEMENT IN
UML-B 579
MAR YAH SAID, MICHAEL BUTLER, AND COLIN SNOOK
DYNAMIC CLASSES: MODULAR ASYNCHRONOUS EVOLUTION OF DISTRIBUTED
CONCURRENT OBJECTS 596
EINAR BROCH JOHNSEN, MARCEL KYAS, AND INGRID CHIEH YU
ABSTRACT OBJECT CREATION IN DYNAMIC LOGIC: TO BE OR NOT TO BE CREATED
612
WOLFGANG AHRENDT, FRANK S. DE BOER, AND IMMO GRABE
POINTERS
REASONING ABOUT MEMORY LAYOUTS 628
HOLGER GAST
A SMOOTH COMBINATION OF LINEAR AND HERBRAND EQUALITIES FOR POLYNOMIAL
TIME MUST-ALIAS ANALYSIS 644
HELMUT SEIDL, VESAL VOJDANI, AND VARMO VENE
REAL-TIME
ON THE COMPLEXITY OF SYNTHESIZING RELAXED AND GRACEFUL BOUNDED-TIME
2-PHASE RECOVERY 660
BORZOO BONAKDARPOUR AND SANDEEP S. KULKARNI
VERIFYING REAL-TIME SYSTEMS AGAINST SCENARIO-BASED REQUIREMENTS 676 KIM
G. LARSEN, SHUHAO LI, BRIAN NIELSEN, AND SAULIUS PUSINSKAS
IMAGE 5
TABLE OF CONTENTS XVII
SPECIAL TRACK: TOOLS AND INDUSTRIAL APPLICATIONS II
FORMAL SPECIFICATION OF A CARDIAC PACING SYSTEM 692
ARTUR OLIVEIRA GOMES AND MARCEL VINICIUS MEDEIROS OLIVEIRA
AUTOMATED PROPERTY VERIFICATION FOR LARGE SCALE B MODELS 708 MICHAEL
LEUSCHEL, JEROME FALAMPIN, FABIAN FRITZ, AND DANIEL PLAGGE
REDUCED EXECUTION SEMANTICS OF MPI: FROM THEORY TO PRACTICE 724 SARVANI
VAKKALANKA, ANH VO, GANESH GOPALAKRISHNAN, AND ROBERT M. KIRBY
MODEL CHECKING II
A METRIC ENCODING FOR BOUNDED MODEL CHECKING 741
MATTEO PRADELLA, ANGELO MORZENTI, AND PIERLUIGI SAN PIETRO
AN INCREMENTAL APPROACH TO SCOPE-BOUNDED CHECKING USING A LIGHTWEIGHT
FORMAL METHOD 757
DANHUA SHAO, SARFRAZ KHURSHID, AND DEWAYNE E. PERRY
VERIFYING INFORMATION FLOW CONTROL OVER UNBOUNDED PROCESSES 773 WILLIAM
R. HARRIS, NICHOLAS A. KIDD, SAGAR CHAKI, SOMESH JHA, AND THOMAS REPS
SPECIFICATION AND VERIFICATION OF WEB APPLICATIONS IN REWRITING LOGIC
790
MARIA ALPUENTE, DEMIS BALLIS, AND DANIEL ROMERO
INDUSTRY-DAY ABSTRACTS
VERIFYING THE MICROSOFT HYPER-V HYPERVISOR WITH VCC 806
DIRK LEINENBACH AND THOMAS SANTEN
INDUSTRIAL PRACTICE IN FORMAL METHODS: A REVIEW 810
J.C. BICARREGUI, J.S FITZGERALD, P.G. LARSEN, AND J.C.P. WOODCOCK
MODEL-BASED GUI TESTING USING UPPAAL AT NOVO NORDISK 814
ULRIK H. HJORT, JACOB ILIUM, KIM G. LARSEN, MICHAEL A. PETER SEN, AND
ARNE SKOU
AUTHOR INDEX 819 |
any_adam_object | 1 |
author_corporate | FM Eindhoven |
author_corporate_role | aut |
author_facet | FM Eindhoven |
author_sort | FM Eindhoven |
building | Verbundindex |
bvnumber | BV035818251 |
callnumber-first | Q - Science |
callnumber-label | QA76 |
callnumber-raw | QA76.76 |
callnumber-search | QA76.76 |
callnumber-sort | QA 276.76 |
callnumber-subject | QA - Mathematics |
classification_rvk | SS 4800 |
classification_tum | DAT 510f DAT 310f |
ctrlnum | (OCoLC)743753663 (DE-599)DNB996985786 |
dewey-full | 005.1 005.131 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 005 - Computer programming, programs, data, security |
dewey-raw | 005.1 005.131 |
dewey-search | 005.1 005.131 |
dewey-sort | 15.1 |
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">BV035818251</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20091204</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">091110s2009 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,N41,0017</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">996985786</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642050886</subfield><subfield code="c">kart. : EUR 101.65 (freier Pr.), sfr 147.50 (freier Pr.)</subfield><subfield code="9">978-3-642-05088-6</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642050886</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12778379</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)743753663</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB996985786</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.76</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">22</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.131</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 510f</subfield><subfield code="2">stub</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="111" ind1="2" ind2=" "><subfield code="a">FM</subfield><subfield code="n">16</subfield><subfield code="d">2009</subfield><subfield code="c">Eindhoven</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)16026560-5</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">FM 2009: Formal methods</subfield><subfield code="b">second world congress, Eindhoven, The Netherlands, November 2 - 6, 2009 ; proceedings</subfield><subfield code="c">Ana Cavalcanti ... (ed.)</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">XVII, 820 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">5850</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formale Methode - Kongress - Eindhoven <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Development</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">System design</subfield><subfield code="x">Mathematics</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="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">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="700" ind1="1" ind2=" "><subfield code="a">Cavalcanti, Ana</subfield><subfield code="e">Sonstige</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">5850</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5850</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=018677052&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-018677052</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift 2009 Eindhoven gnd-content |
genre_facet | Konferenzschrift 2009 Eindhoven |
id | DE-604.BV035818251 |
illustrated | Illustrated |
indexdate | 2025-01-10T15:11:37Z |
institution | BVB |
institution_GND | (DE-588)16026560-5 |
isbn | 9783642050886 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018677052 |
oclc_num | 743753663 |
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 | XVII, 820 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 | FM 16 2009 Eindhoven Verfasser (DE-588)16026560-5 aut FM 2009: Formal methods second world congress, Eindhoven, The Netherlands, November 2 - 6, 2009 ; proceedings Ana Cavalcanti ... (ed.) Berlin [u.a.] Springer 2009 XVII, 820 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 5850 Literaturangaben Formale Methode - Kongress - Eindhoven <2009> Mathematik Computer software Development Congresses Formal methods (Computer science) Congresses System design Mathematics Congresses Formale Methode (DE-588)4333722-3 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2009 Eindhoven gnd-content Formale Methode (DE-588)4333722-3 s DE-604 Cavalcanti, Ana Sonstige oth Lecture notes in computer science 5850 (DE-604)BV000000607 5850 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018677052&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | FM 2009: Formal methods second world congress, Eindhoven, The Netherlands, November 2 - 6, 2009 ; proceedings Lecture notes in computer science Formale Methode - Kongress - Eindhoven <2009> Mathematik Computer software Development Congresses Formal methods (Computer science) Congresses System design Mathematics Congresses Formale Methode (DE-588)4333722-3 gnd |
subject_GND | (DE-588)4333722-3 (DE-588)1071861417 |
title | FM 2009: Formal methods second world congress, Eindhoven, The Netherlands, November 2 - 6, 2009 ; proceedings |
title_auth | FM 2009: Formal methods second world congress, Eindhoven, The Netherlands, November 2 - 6, 2009 ; proceedings |
title_exact_search | FM 2009: Formal methods second world congress, Eindhoven, The Netherlands, November 2 - 6, 2009 ; proceedings |
title_full | FM 2009: Formal methods second world congress, Eindhoven, The Netherlands, November 2 - 6, 2009 ; proceedings Ana Cavalcanti ... (ed.) |
title_fullStr | FM 2009: Formal methods second world congress, Eindhoven, The Netherlands, November 2 - 6, 2009 ; proceedings Ana Cavalcanti ... (ed.) |
title_full_unstemmed | FM 2009: Formal methods second world congress, Eindhoven, The Netherlands, November 2 - 6, 2009 ; proceedings Ana Cavalcanti ... (ed.) |
title_short | FM 2009: Formal methods |
title_sort | fm 2009 formal methods second world congress eindhoven the netherlands november 2 6 2009 proceedings |
title_sub | second world congress, Eindhoven, The Netherlands, November 2 - 6, 2009 ; proceedings |
topic | Formale Methode - Kongress - Eindhoven <2009> Mathematik Computer software Development Congresses Formal methods (Computer science) Congresses System design Mathematics Congresses Formale Methode (DE-588)4333722-3 gnd |
topic_facet | Formale Methode - Kongress - Eindhoven <2009> Mathematik Computer software Development Congresses Formal methods (Computer science) Congresses System design Mathematics Congresses Formale Methode Konferenzschrift 2009 Eindhoven |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018677052&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
volume_link | (DE-604)BV000000607 |
work_keys_str_mv | AT fmeindhoven fm2009formalmethodssecondworldcongresseindhoventhenetherlandsnovember262009proceedings AT cavalcantiana fm2009formalmethodssecondworldcongresseindhoventhenetherlandsnovember262009proceedings |