Formal methods for industrial critical systems: 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20 - 21, 2010 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2010
|
| Series: | Lecture notes in computer science
6371 |
| Subjects: | |
| Online Access: | Inhaltstext Inhaltsverzeichnis |
| Item Description: | Literaturangaben |
| Physical Description: | XII, 230 S. Ill., graph. Darst. 24 cm |
| ISBN: | 9783642158971 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036677087 | ||
| 003 | DE-604 | ||
| 005 | 20101203 | ||
| 007 | t| | ||
| 008 | 100920s2010 xx ad|| |||| 10||| eng d | ||
| 015 | |a 10,N33 |2 dnb | ||
| 016 | 7 | |a 1005647003 |2 DE-101 | |
| 020 | |a 9783642158971 |c kart. : EUR 49.22 (freier Pr.), sfr 66.00 (freier Pr.) |9 978-3-642-15897-1 | ||
| 024 | 3 | |a 9783642158971 | |
| 028 | 5 | 2 | |a 80023121 |
| 035 | |a (OCoLC)699867801 | ||
| 035 | |a (DE-599)DNB1005647003 | ||
| 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.131 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 310f |2 stub | ||
| 084 | |a 620 |2 sdnb | ||
| 084 | |a DAT 343f |2 stub | ||
| 245 | 1 | 0 | |a Formal methods for industrial critical systems |b 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20 - 21, 2010 ; proceedings |c Stefan Kowalewski ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2010 | |
| 300 | |a XII, 230 S. |b Ill., 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 6371 | |
| 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 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 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 2010 |z Antwerpen |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 Sicherheitskritisches System |0 (DE-588)4767762-4 |D s |
| 689 | 0 | 3 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Systementwurf |0 (DE-588)4261480-6 |D s |
| 689 | 1 | 1 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 1 | 2 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 1 | 3 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Kowalewski, Stefan |e Sonstige |4 oth | |
| 711 | 2 | |a FMICS |n 15 |d 2010 |c Antwerpen |j Sonstige |0 (DE-588)16082411-4 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 6371 |w (DE-604)BV000000607 |9 6371 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3523480&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=020596043&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020596043 | |
Record in the Search Index
| _version_ | 1820875265770782720 |
|---|---|
| adam_text |
TABLE OF CONTENTS THE METRO RIO ATP CASE STUDY 1 ALESSIO FERRARI,
DANIELE GRASSO, GIANLUCA MAGNANI, ALESSANDRO FANTECHI, AND MATTEO
TEMPESTINI PRACTICAL ISSUES WITH FORMAL SPECIFICATIONS: LESSONS LEARNED
FROM AN INDUSTRIAL CASE STUDY 17 MICHAEL ALTENHOF EN AND ACHIM D.
BRUCKER FORMAL ANALYSIS OF BPMN MODELS USING EVENT-B 33 JEREMY W. BRYANS
AND WEI WEI DEVELOPING MODE-RICH SATELLITE SOFTWARE BY REFINEMENT IN
EVENT B . 50 ALEXEI ILIASOV, ELENA TROUBITSYNA, LINAS LAIBINIS,
ALEXANDER ROMANOVSKY, KIMMO VARPAANIEMI, DUBRAVKA ILIC, AND TIMO LATVALA
AUTOMATIC ERROR CORRECTION OF JAVA PROGRAMS 67 CHRISTIAN KERN AND JAVIER
ESPARZA RANGE ANALYSIS OF MICROCONTROLLER CODE USING BIT-LEVEL
CONGRUENCES 82 JOERG BRAUER, ANDY KING, AND STEFAN KOWALEWSKI AN
AUTOMATED TRANSLATOR FOR MODEL CHECKING TIME CONSTRAINED WORKFLOW
SYSTEMS 99 AHMED SHAH MASHIYAT, FAZLE RABBI, HAO WANG, AND WENDY
MACCAULL CORRECTNESS OF SENSOR NETWORK APPLICATIONS BY SOFTWARE BOUNDED
MODEL CHECKING 115 FRANK WERNER AND DAVID FARAGO MODEL CHECKING THE
FLEXRAY PHYSICAL LAYER PROTOCOL 132 MICHAEL GERKE, RUEDIGER EHLERS, BERND
FINKBEINER, AND HANS-JOERG PETER SMT-BASED FORMAL VERIFICATION OF A
TTETHERNET SYNCHRONIZATIO BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/1005647003 DIGITALISIERT DURCH XII TABLE OF CONTENTS A
STUDY OF SHARED-MEMORY MUTUAL EXCLUSION PROTOCOLS USING CADP 180 RADU
MATEESCU AND WENDELIN SERWE A FORMAL MODEL OF IDENTITY MIXER 198 JAN
CAMENISCH, SEBASTIAN MOEDERSHEIM, AND DIETER SOMMER AUTOMATIC
STRUCTURE-BASED CODE GENERATION FROM COLOURED PETRI NETS: A PROOF OF
CONCEPT 215 LARS MICHAEL KRISTENSEN AND MICHAEL WESTERGAARD AUTHOR INDEX
231 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV036677087 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 310f DAT 343f |
| ctrlnum | (OCoLC)699867801 (DE-599)DNB1005647003 |
| 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 | Maschinenbau / Maschinenwesen 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">BV036677087</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20101203</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">100920s2010 xx ad|| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N33</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1005647003</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642158971</subfield><subfield code="c">kart. : EUR 49.22 (freier Pr.), sfr 66.00 (freier Pr.)</subfield><subfield code="9">978-3-642-15897-1</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642158971</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">80023121</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)699867801</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1005647003</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.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="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">620</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 343f</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">15th international workshop, FMICS 2010, Antwerp, Belgium, September 20 - 21, 2010 ; proceedings</subfield><subfield code="c">Stefan Kowalewski ... (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">XII, 230 S.</subfield><subfield code="b">Ill., 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">6371</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">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">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">2010</subfield><subfield code="z">Antwerpen</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">Sicherheitskritisches System</subfield><subfield code="0">(DE-588)4767762-4</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">Systementwurf</subfield><subfield code="0">(DE-588)4261480-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" 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="1" 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="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kowalewski, Stefan</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">15</subfield><subfield code="d">2010</subfield><subfield code="c">Antwerpen</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16082411-4</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">6371</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6371</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=3523480&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=020596043&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-020596043</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2010 Antwerpen gnd-content |
| genre_facet | Konferenzschrift 2010 Antwerpen |
| id | DE-604.BV036677087 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:12:54Z |
| institution | BVB |
| institution_GND | (DE-588)16082411-4 |
| isbn | 9783642158971 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020596043 |
| oclc_num | 699867801 |
| 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 | XII, 230 S. Ill., 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 | Formal methods for industrial critical systems 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20 - 21, 2010 ; proceedings Stefan Kowalewski ... (eds.) Berlin [u.a.] Springer 2010 XII, 230 S. Ill., graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6371 Literaturangaben Formale Methode (DE-588)4333722-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 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 2010 Antwerpen gnd-content Softwareentwicklung (DE-588)4116522-6 s Zuverlässigkeit (DE-588)4059245-5 s Sicherheitskritisches System (DE-588)4767762-4 s Formale Methode (DE-588)4333722-3 s DE-604 Systementwurf (DE-588)4261480-6 s Model Checking (DE-588)4434799-6 s Verifikation (DE-588)4135577-5 s Kowalewski, Stefan Sonstige oth FMICS 15 2010 Antwerpen Sonstige (DE-588)16082411-4 oth Lecture notes in computer science 6371 (DE-604)BV000000607 6371 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3523480&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=020596043&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Formal methods for industrial critical systems 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20 - 21, 2010 ; proceedings Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Zuverlässigkeit (DE-588)4059245-5 gnd Model Checking (DE-588)4434799-6 gnd Sicherheitskritisches System (DE-588)4767762-4 gnd Verifikation (DE-588)4135577-5 gnd Systementwurf (DE-588)4261480-6 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4116522-6 (DE-588)4059245-5 (DE-588)4434799-6 (DE-588)4767762-4 (DE-588)4135577-5 (DE-588)4261480-6 (DE-588)1071861417 |
| title | Formal methods for industrial critical systems 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20 - 21, 2010 ; proceedings |
| title_auth | Formal methods for industrial critical systems 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20 - 21, 2010 ; proceedings |
| title_exact_search | Formal methods for industrial critical systems 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20 - 21, 2010 ; proceedings |
| title_full | Formal methods for industrial critical systems 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20 - 21, 2010 ; proceedings Stefan Kowalewski ... (eds.) |
| title_fullStr | Formal methods for industrial critical systems 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20 - 21, 2010 ; proceedings Stefan Kowalewski ... (eds.) |
| title_full_unstemmed | Formal methods for industrial critical systems 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20 - 21, 2010 ; proceedings Stefan Kowalewski ... (eds.) |
| title_short | Formal methods for industrial critical systems |
| title_sort | formal methods for industrial critical systems 15th international workshop fmics 2010 antwerp belgium september 20 21 2010 proceedings |
| title_sub | 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20 - 21, 2010 ; proceedings |
| topic | Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Zuverlässigkeit (DE-588)4059245-5 gnd Model Checking (DE-588)4434799-6 gnd Sicherheitskritisches System (DE-588)4767762-4 gnd Verifikation (DE-588)4135577-5 gnd Systementwurf (DE-588)4261480-6 gnd |
| topic_facet | Formale Methode Softwareentwicklung Zuverlässigkeit Model Checking Sicherheitskritisches System Verifikation Systementwurf Konferenzschrift 2010 Antwerpen |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3523480&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=020596043&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT kowalewskistefan formalmethodsforindustrialcriticalsystems15thinternationalworkshopfmics2010antwerpbelgiumseptember20212010proceedings AT fmicsantwerpen formalmethodsforindustrialcriticalsystems15thinternationalworkshopfmics2010antwerpbelgiumseptember20212010proceedings |