Integrated formal methods: 8th international conference, IFM 2010, Nancy, France, October 11 - 14, 2010 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2010
|
| Schriftenreihe: | Lecture notes in computer science
6396 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | X, 335 S. graph. Darst. 24 cm |
| ISBN: | 9783642162640 3642162649 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036723987 | ||
| 003 | DE-604 | ||
| 005 | 20101203 | ||
| 007 | t| | ||
| 008 | 101018s2010 xx d||| |||| 10||| eng d | ||
| 015 | |a 10,N36 |2 dnb | ||
| 016 | 7 | |a 1006508406 |2 DE-101 | |
| 020 | |a 9783642162640 |c kart. : EUR 57.78 (freier Pr.), sfr 77.50 (freier Pr.) |9 978-3-642-16264-0 | ||
| 020 | |a 3642162649 |9 3-642-16264-9 | ||
| 024 | 3 | |a 9783642162640 | |
| 028 | 5 | 2 | |a 80023498 |
| 035 | |a (OCoLC)680676771 | ||
| 035 | |a (DE-599)DNB1006508406 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-11 |a DE-91G |a DE-83 | ||
| 082 | 0 | |a 005.101015113 |2 22/ger | |
| 082 | 0 | |a 004.0151 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 310f |2 stub | ||
| 245 | 1 | 0 | |a Integrated formal methods |b 8th international conference, IFM 2010, Nancy, France, October 11 - 14, 2010 ; proceedings |c Dominique Méry ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2010 | |
| 300 | |a X, 335 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 6396 | |
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Systementwicklung |0 (DE-588)4126945-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Model Checking |0 (DE-588)4434799-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Spezifikationssprache |0 (DE-588)4182217-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2010 |z Nancy |2 gnd-content | |
| 689 | 0 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Systementwicklung |0 (DE-588)4126945-7 |D s |
| 689 | 1 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 2 | 1 | |a Spezifikationssprache |0 (DE-588)4182217-1 |D s |
| 689 | 2 | 2 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 3 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 3 | |5 DE-604 | |
| 700 | 1 | |a Méry, Dominique |e Sonstige |4 oth | |
| 711 | 2 | |a IFM |n 8 |d 2010 |c Nancy |j Sonstige |0 (DE-588)16085988-8 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 6396 |w (DE-604)BV000000607 |9 6396 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3532081&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 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=020641803&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020641803 | |
Datensatz im Suchindex
| _version_ | 1820875274310385664 |
|---|---|
| adam_text |
TABLE OF CONTENTS ON MODEL CHECKING TECHNIQUES FOR RANDOMIZED
DISTRIBUTED SYSTEMS (INVITED TALK) 1 CHRISTEL BAIER COLLABORATIVE
MODELLING AND CO-SIMULATION IN THE DEVELOPMENT OF DEPENDABLE EMBEDDED
SYSTEMS (INVITED TALK) 12 JOHN FITZGERALD, PETER GORRA HARSEN, KEN
PIERCE, MARCEL VERHOEF, AND SUNE WOLFF PROGRAMMING WITH MIRACLES
(INVITED TALK) 27 RAJEEV JOSHI AN EVENT-B APPROACH TO DATA SHARING
AGREEMENTS 28 ALVARO E. ARENAS, BENJAMIN AZIZ, JUAN BICARREGUI, AND
MICHAEL D. WILSON A LOGICAL FRAMEWORK TO DEAL WITH VARIABILITY 43
PATRIZIA ASIRELLI, MAURICE H. TER BEEK, ALESSANDRO FANTECHI, AND
STEFANIA GNESI ADDING CHANGE IMPACT ANALYSIS TO THE FORMAL VERIFICATION
OF C PROGRAMS 59 SERGE AUTEXIER AND CHRISTOPH LUETH CREATING SEQUENTIAL
PROGRAMS FROM EVENT-B MODELS 74 PONTUS BOSTROEM SYMBOLIC MODEL-CHECKING
OF OPTIMISTIC REPLICATION ALGORITHMS 89 HANIFA BOUCHENEB, ABDESSAMAD
IMINE, AND MANAL NAJEM FROM OPERATING-SYSTEM CORRECTNESS TO PERVASIVELY
VERIFIED APPLICATIONS 105 MATTHIAS DAUM, NORBERT W. SCHIRMER, AND
MAREIKE SCHMIDT A COMPOSITIONAL METHOD FOR DECIDING EQUIVALENCE AND
TERMINATION OF NONDETERMINISTIC PROGRAMS 121 ALEKSANDAR DIMOVSKI
VERIFICATION ARCHITECTURES: COMPOSITIONAL REASONING FOR REAL-TIME SYSTEM
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1006508406 DIGITALISIERT
DURCH X TABLE OF CONTENTS AUTOMATIC VERIFICATION OF PARAMETRIC
SPECIFICATIONS WITH COMPLEX TOPOLOGIES 152 JOHANNES FABER, CARSTEN
IHLEMANN, SWEN JACOBS, AND VIORICA SOFRONIE-STOKKERMANS SATISFACTION
MEETS EXPECTATIONS: COMPUTING EXPECTED VALUES OF PROBABILISTIC HYBRID
SYSTEMS WITH SMT 168 MARTIN FRAENZLE, TINO TEIGE, AND ANDREAS EGGERS
SHOWING FULL SEMANTICS PRESERVATION IN MODEL TRANSFORMATION - A
COMPARISON OF TECHNIQUES 183 MATHIAS HUELSBUSCH, BARBARA KOENIG, AREND
RENSINK, MARIA SEMENYAK, CHRISTIAN SOLTENBORN, AND HEIKE WEHRHEIM
SPECIFICATION AND VERIFICATION OF MODEL TRANSFORMATIONS USING UML-RSDS
199 KEVIN LANO AND SHEKOUFEH KOLAHDOUZ-RAHIMI MULTIFORMALISM AND
TRANSFORMATION INHERITANCE FOR DEPENDABILITY ANALYSIS OF CRITICAL
SYSTEMS 215 STEFANO MARRONE, CAMILLA PAPA, AND VALERIA VITTORINI
TRANSLATING PI-CALCULUS INTO LOTOS NT 229 RADU MATEESCU AND GWEN SALAIIN
SYSTEMATIC TRANSLATION RULES FROM ASTD TO EVENT-B 245 JEREMY MILHAU,
MARC FRAPPIER, FREDERIC GERVAIS, AND REGINE LALEAU A CSP APPROACH TO
CONTROL IN EVENT-B 260 STEVE SCHNEIDER, HELEN TREHARNE, AND HEIKE
WEHRHEIM TOWARDS PROBABILISTIC MODELLING IN EVENT-B 275 ANTON TARASYUK,
ELENA TROUBITSYNA, AND UNAS LAIBINIS SAFE COMMITS FOR TRANSACTIONAL
FEATHERWEIGHT JAVA 290 THI |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV036723987 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 310f |
| ctrlnum | (OCoLC)680676771 (DE-599)DNB1006508406 |
| dewey-full | 005.101015113 004.0151 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security 004 - Computer science |
| dewey-raw | 005.101015113 004.0151 |
| dewey-search | 005.101015113 004.0151 |
| dewey-sort | 15.101015113 |
| 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">BV036723987</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20101203</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">101018s2010 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N36</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1006508406</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642162640</subfield><subfield code="c">kart. : EUR 57.78 (freier Pr.), sfr 77.50 (freier Pr.)</subfield><subfield code="9">978-3-642-16264-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642162649</subfield><subfield code="9">3-642-16264-9</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642162640</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">80023498</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)680676771</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1006508406</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-11</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.101015113</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Integrated formal methods</subfield><subfield code="b">8th international conference, IFM 2010, Nancy, France, October 11 - 14, 2010 ; proceedings</subfield><subfield code="c">Dominique Méry ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 335 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">6396</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Spezifikationssprache</subfield><subfield code="0">(DE-588)4182217-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2010</subfield><subfield code="z">Nancy</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Spezifikationssprache</subfield><subfield code="0">(DE-588)4182217-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Méry, Dominique</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">IFM</subfield><subfield code="n">8</subfield><subfield code="d">2010</subfield><subfield code="c">Nancy</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16085988-8</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">6396</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6396</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3532081&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</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=020641803&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-020641803</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2010 Nancy gnd-content |
| genre_facet | Konferenzschrift 2010 Nancy |
| id | DE-604.BV036723987 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:13:01Z |
| institution | BVB |
| institution_GND | (DE-588)16085988-8 |
| isbn | 9783642162640 3642162649 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020641803 |
| oclc_num | 680676771 |
| open_access_boolean | |
| owner | DE-706 DE-11 DE-91G DE-BY-TUM DE-83 |
| owner_facet | DE-706 DE-11 DE-91G DE-BY-TUM DE-83 |
| physical | X, 335 S. graph. Darst. 24 cm |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Integrated formal methods 8th international conference, IFM 2010, Nancy, France, October 11 - 14, 2010 ; proceedings Dominique Méry ... (eds.) Berlin [u.a.] Springer 2010 X, 335 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6396 Literaturangaben Formale Methode (DE-588)4333722-3 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Systementwicklung (DE-588)4126945-7 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Spezifikationssprache (DE-588)4182217-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2010 Nancy gnd-content Softwareentwicklung (DE-588)4116522-6 s Formale Methode (DE-588)4333722-3 s DE-604 Systementwicklung (DE-588)4126945-7 s Spezifikationssprache (DE-588)4182217-1 s Verifikation (DE-588)4135577-5 s Model Checking (DE-588)4434799-6 s Méry, Dominique Sonstige oth IFM 8 2010 Nancy Sonstige (DE-588)16085988-8 oth Lecture notes in computer science 6396 (DE-604)BV000000607 6396 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3532081&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020641803&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Integrated formal methods 8th international conference, IFM 2010, Nancy, France, October 11 - 14, 2010 ; proceedings Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Systementwicklung (DE-588)4126945-7 gnd Model Checking (DE-588)4434799-6 gnd Verifikation (DE-588)4135577-5 gnd Spezifikationssprache (DE-588)4182217-1 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4116522-6 (DE-588)4126945-7 (DE-588)4434799-6 (DE-588)4135577-5 (DE-588)4182217-1 (DE-588)1071861417 |
| title | Integrated formal methods 8th international conference, IFM 2010, Nancy, France, October 11 - 14, 2010 ; proceedings |
| title_auth | Integrated formal methods 8th international conference, IFM 2010, Nancy, France, October 11 - 14, 2010 ; proceedings |
| title_exact_search | Integrated formal methods 8th international conference, IFM 2010, Nancy, France, October 11 - 14, 2010 ; proceedings |
| title_full | Integrated formal methods 8th international conference, IFM 2010, Nancy, France, October 11 - 14, 2010 ; proceedings Dominique Méry ... (eds.) |
| title_fullStr | Integrated formal methods 8th international conference, IFM 2010, Nancy, France, October 11 - 14, 2010 ; proceedings Dominique Méry ... (eds.) |
| title_full_unstemmed | Integrated formal methods 8th international conference, IFM 2010, Nancy, France, October 11 - 14, 2010 ; proceedings Dominique Méry ... (eds.) |
| title_short | Integrated formal methods |
| title_sort | integrated formal methods 8th international conference ifm 2010 nancy france october 11 14 2010 proceedings |
| title_sub | 8th international conference, IFM 2010, Nancy, France, October 11 - 14, 2010 ; proceedings |
| topic | Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Systementwicklung (DE-588)4126945-7 gnd Model Checking (DE-588)4434799-6 gnd Verifikation (DE-588)4135577-5 gnd Spezifikationssprache (DE-588)4182217-1 gnd |
| topic_facet | Formale Methode Softwareentwicklung Systementwicklung Model Checking Verifikation Spezifikationssprache Konferenzschrift 2010 Nancy |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3532081&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020641803&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT merydominique integratedformalmethods8thinternationalconferenceifm2010nancyfranceoctober11142010proceedings AT ifmnancy integratedformalmethods8thinternationalconferenceifm2010nancyfranceoctober11142010proceedings |