Formal methods for industrial critical systems: 17th international workshop, FMICS 2012, Paris, France, August 27 - 28, 2012 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2012
|
| Series: | Lecture notes in computer science
7437 |
| Subjects: | |
| Online Access: | Inhaltstext Inhaltsverzeichnis |
| Physical Description: | XIV, 221 S. graph. Darst. |
| ISBN: | 3642324681 9783642324680 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV040366765 | ||
| 003 | DE-604 | ||
| 005 | 20120913 | ||
| 007 | t| | ||
| 008 | 120816s2012 gw d||| |||| 10||| eng d | ||
| 015 | |a 12,N31 |2 dnb | ||
| 016 | 7 | |a 1024548058 |2 DE-101 | |
| 020 | |a 3642324681 |9 3-642-32468-1 | ||
| 020 | |a 9783642324680 |c Pb. : ca. EUR 49.22 (DE) (freier Pr.), ca. EUR 50.60 (AT) (freier Pr.), ca. sfr 61.50 (freier Pr.) |9 978-3-642-32468-0 | ||
| 024 | 3 | |a 9783642324680 | |
| 028 | 5 | 2 | |a Best.-Nr.: 86149850 |
| 035 | |a (OCoLC)812233053 | ||
| 035 | |a (DE-599)DNB1024548058 | ||
| 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-83 |a DE-91G | ||
| 082 | 0 | |a 004.2 |2 22/ger | |
| 082 | 0 | |a 005.131 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 245 | 1 | 0 | |a Formal methods for industrial critical systems |b 17th international workshop, FMICS 2012, Paris, France, August 27 - 28, 2012 ; proceedings |c Mariëlle Stoelinga ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2012 | |
| 300 | |a XIV, 221 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 7437 | |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Systemanalyse |0 (DE-588)4116673-5 |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 |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2012 |z Paris |2 gnd-content | |
| 689 | 0 | 0 | |a Sicherheitskritisches System |0 (DE-588)4767762-4 |D s |
| 689 | 0 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | 2 | |a Systemanalyse |0 (DE-588)4116673-5 |D s |
| 689 | 0 | 3 | |a Systementwurf |0 (DE-588)4261480-6 |D s |
| 689 | 0 | 4 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | 5 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Stoelinga, Mariëlle |d 1972- |e Sonstige |0 (DE-588)173551084 |4 oth | |
| 711 | 2 | |a FMICS |n 17 |d 2012 |c Paris |j Sonstige |0 (DE-588)1025157389 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-642-32469-7 |
| 830 | 0 | |a Lecture notes in computer science |v 7437 |w (DE-604)BV000000607 |9 7437 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=4091883&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=025220476&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-025220476 | |
Record in the Search Index
| _version_ | 1820875408394944512 |
|---|---|
| adam_text |
IMAGE 1
TABLE O F C O N T E N T S
REAL-TIME SPECIFICATION PATTERNS AND TOOLS 1
NOUHA ABID, SILVANO DAL ZILIO, AND DIDIER LE BOTLAN
AUTOMATED EXTRACTION OF ABSTRACT BEHAVIOURAL MODELS FROM J M S
APPLICATIONS 16
ELVIRA ALBERT, BJARTE M. 0STVOLD, AND JOSE MIGUEL ROJAS
CERTIFYING AND REASONING ON COST ANNOTATIONS IN C PROGRAMS 32
NICOLAS AYACHE, ROBERTO M. AMADIO, AND YANN REGIS-GIANAS
WAITING FOR LOCKS: HOW LONG DOES IT USUALLY TAKE? 47
CHRISTEL BAIER, MARCUS DAUM, BENJAMIN ENGEL, HERMANN HARTIG, JOACHIM
KLEIN, SASCHA KLIIPPELHOLZ, STEFFEN MARCHER, HENDRIK TEWS, AND MARCUS
VOLP
MICROCONTROLLER ASSEMBLY SYNTHESIS FROM TIMED AUTOMATON TASK
SPECIFICATIONS 63
VICTOR BANDUR, WOLFRAM KAHL, AND ALAN WASSYNG
TOOL CHAIN T O SUPPORT AUTOMATED FORMAL VERIFICATION OF AVIONICS
SIMULINK DESIGNS 78
JIRI BARNAT, JAN BERAN, LUBOS BRIM, TOMAS KRATOCHVILA, AND PETR ROCKAI
RANGE ANALYSIS OF BINARIES WITH MINIMAL EFFORT 93
EDD BARRETT AND ANDY KING
COMBINING ANALYSES FOR C PROGRAM VERIFICATION 108
LOIC CORRENSON AND JULIEN SIGNOLES
MODEL CHECKING THE FLEXRAY STARTUP PHASE 131
SJOERD CRANEN
MODEL-BASED RISK ASSESSMENT SUPPORTING DEVELOPMENT OF HSE PLANS FOR SAFE
OFFSHORE OPERATIONS 146
RAINER DROSTE, CHRISTOPH LASCHE, CILLI SOBIECH, ECKARD BODE, AND AXEL
HAHN
MODULAR AUTOMATED VERIFICATION OF FLEXIBLE MANUFACTURING SYSTEMS WITH
METRIC TEMPORAL LOGIC AND NON-STANDARD ANALYSIS 162
LUCA FERRUCCI, DINO MANDRIOLI, ANGELO MORZENTI, AND MATTEO ROSSI
HTTP://D-NB.INFO/1024548058
IMAGE 2
XIV TABLE OF CONTENTS
OPTIMIZING THE ROBUSTNESS OF SOFTWARE AGAINST COMMUNICATION LATENCIES IN
DISTRIBUTED REACTIVE EMBEDDED SYSTEMS 177
VLAD POPA AND WOLFGANG SCHWITZER
A FORMAL DESIGN OF A TOOL FOR STATIC ANALYSIS OF UPPER BOUNDS ON OBJECT
CALLS IN JAVA 192
KONRAD SIEK AND PAWEL T. WOJCIECHOWSKI
CHECKING PROPERTIES DESCRIBED BY STATE MACHINES: O N SYNERGY OF
INSTRUMENTATION, SLICING, AND SYMBOLIC EXECUTION 207
J I N SLABY, JAN STREJCEK, AND MAREK TRT-IK
A U T H O R I N D E X 223 |
| any_adam_object | 1 |
| author_GND | (DE-588)173551084 |
| building | Verbundindex |
| bvnumber | BV040366765 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)812233053 (DE-599)DNB1024548058 |
| dewey-full | 004.2 005.131 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science 005 - Computer programming, programs, data, security |
| dewey-raw | 004.2 005.131 |
| dewey-search | 004.2 005.131 |
| dewey-sort | 14.2 |
| 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">BV040366765</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120913</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">120816s2012 gw d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,N31</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1024548058</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642324681</subfield><subfield code="9">3-642-32468-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642324680</subfield><subfield code="c">Pb. : ca. EUR 49.22 (DE) (freier Pr.), ca. EUR 50.60 (AT) (freier Pr.), ca. sfr 61.50 (freier Pr.)</subfield><subfield code="9">978-3-642-32468-0</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642324680</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86149850</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)812233053</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1024548058</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-83</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.2</subfield><subfield code="2">22/ger</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">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal methods for industrial critical systems</subfield><subfield code="b">17th international workshop, FMICS 2012, Paris, France, August 27 - 28, 2012 ; proceedings</subfield><subfield code="c">Mariëlle Stoelinga ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 221 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">7437</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">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">Systemanalyse</subfield><subfield code="0">(DE-588)4116673-5</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2012</subfield><subfield code="z">Paris</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="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="2"><subfield code="a">Systemanalyse</subfield><subfield code="0">(DE-588)4116673-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Systementwurf</subfield><subfield code="0">(DE-588)4261480-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><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="5"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</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">Stoelinga, Mariëlle</subfield><subfield code="d">1972-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)173551084</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FMICS</subfield><subfield code="n">17</subfield><subfield code="d">2012</subfield><subfield code="c">Paris</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1025157389</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-642-32469-7</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7437</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">7437</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=4091883&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=025220476&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-025220476</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2012 Paris gnd-content |
| genre_facet | Konferenzschrift 2012 Paris |
| id | DE-604.BV040366765 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:15:10Z |
| institution | BVB |
| institution_GND | (DE-588)1025157389 |
| isbn | 3642324681 9783642324680 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025220476 |
| oclc_num | 812233053 |
| open_access_boolean | |
| owner | DE-706 DE-83 DE-91G DE-BY-TUM |
| owner_facet | DE-706 DE-83 DE-91G DE-BY-TUM |
| physical | XIV, 221 S. graph. Darst. |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Formal methods for industrial critical systems 17th international workshop, FMICS 2012, Paris, France, August 27 - 28, 2012 ; proceedings Mariëlle Stoelinga ... (eds.) Berlin [u.a.] Springer 2012 XIV, 221 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 7437 Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf Systemanalyse (DE-588)4116673-5 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 (DE-588)1071861417 Konferenzschrift 2012 Paris gnd-content Sicherheitskritisches System (DE-588)4767762-4 s Formale Methode (DE-588)4333722-3 s Systemanalyse (DE-588)4116673-5 s Systementwurf (DE-588)4261480-6 s Softwareentwicklung (DE-588)4116522-6 s Verifikation (DE-588)4135577-5 s DE-604 Stoelinga, Mariëlle 1972- Sonstige (DE-588)173551084 oth FMICS 17 2012 Paris Sonstige (DE-588)1025157389 oth Erscheint auch als Online-Ausgabe 978-3-642-32469-7 Lecture notes in computer science 7437 (DE-604)BV000000607 7437 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4091883&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=025220476&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Formal methods for industrial critical systems 17th international workshop, FMICS 2012, Paris, France, August 27 - 28, 2012 ; proceedings Lecture notes in computer science Softwareentwicklung (DE-588)4116522-6 gnd Formale Methode (DE-588)4333722-3 gnd Systemanalyse (DE-588)4116673-5 gnd Sicherheitskritisches System (DE-588)4767762-4 gnd Verifikation (DE-588)4135577-5 gnd Systementwurf (DE-588)4261480-6 gnd |
| subject_GND | (DE-588)4116522-6 (DE-588)4333722-3 (DE-588)4116673-5 (DE-588)4767762-4 (DE-588)4135577-5 (DE-588)4261480-6 (DE-588)1071861417 |
| title | Formal methods for industrial critical systems 17th international workshop, FMICS 2012, Paris, France, August 27 - 28, 2012 ; proceedings |
| title_auth | Formal methods for industrial critical systems 17th international workshop, FMICS 2012, Paris, France, August 27 - 28, 2012 ; proceedings |
| title_exact_search | Formal methods for industrial critical systems 17th international workshop, FMICS 2012, Paris, France, August 27 - 28, 2012 ; proceedings |
| title_full | Formal methods for industrial critical systems 17th international workshop, FMICS 2012, Paris, France, August 27 - 28, 2012 ; proceedings Mariëlle Stoelinga ... (eds.) |
| title_fullStr | Formal methods for industrial critical systems 17th international workshop, FMICS 2012, Paris, France, August 27 - 28, 2012 ; proceedings Mariëlle Stoelinga ... (eds.) |
| title_full_unstemmed | Formal methods for industrial critical systems 17th international workshop, FMICS 2012, Paris, France, August 27 - 28, 2012 ; proceedings Mariëlle Stoelinga ... (eds.) |
| title_short | Formal methods for industrial critical systems |
| title_sort | formal methods for industrial critical systems 17th international workshop fmics 2012 paris france august 27 28 2012 proceedings |
| title_sub | 17th international workshop, FMICS 2012, Paris, France, August 27 - 28, 2012 ; proceedings |
| topic | Softwareentwicklung (DE-588)4116522-6 gnd Formale Methode (DE-588)4333722-3 gnd Systemanalyse (DE-588)4116673-5 gnd Sicherheitskritisches System (DE-588)4767762-4 gnd Verifikation (DE-588)4135577-5 gnd Systementwurf (DE-588)4261480-6 gnd |
| topic_facet | Softwareentwicklung Formale Methode Systemanalyse Sicherheitskritisches System Verifikation Systementwurf Konferenzschrift 2012 Paris |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=4091883&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=025220476&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT stoelingamarielle formalmethodsforindustrialcriticalsystems17thinternationalworkshopfmics2012parisfranceaugust27282012proceedings AT fmicsparis formalmethodsforindustrialcriticalsystems17thinternationalworkshopfmics2012parisfranceaugust27282012proceedings |