Formal methods for industrial critical systems: 28th international conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Cham
Springer
[2023]
|
| Series: | Lecture notes in computer science
14290 |
| Subjects: | |
| Physical Description: | x, 260 Seiten Illustrationen, Diagramme |
| ISBN: | 9783031436802 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV049465389 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 231213s2023 xx a||| |||| 10||| eng d | ||
| 020 | |a 9783031436802 |9 978-3-031-43680-2 | ||
| 035 | |a (OCoLC)1414556809 | ||
| 035 | |a (DE-599)BVBBV049465389 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 082 | 0 | |a 005.45 |2 23 | |
| 084 | |a DAT 343 |2 stub | ||
| 084 | |a DAT 325 |2 stub | ||
| 084 | |a DAT 310 |2 stub | ||
| 111 | 2 | |a FMICS |n 28. |d 2023 |c Antwerpen |j Verfasser |0 (DE-588)1309941114 |4 aut | |
| 245 | 1 | 0 | |a Formal methods for industrial critical systems |b 28th international conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings |c Alessandro Cimatti, Laura Titolo, editors |
| 264 | 1 | |a Cham |b Springer |c [2023] | |
| 264 | 4 | |c © 2023 | |
| 300 | |a x, 260 Seiten |b Illustrationen, Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 14290 | |
| 650 | 4 | |a Compilers and Interpreters | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Computer and Information Systems Applications | |
| 650 | 4 | |a Artificial Intelligence | |
| 650 | 4 | |a Theory of Computation | |
| 650 | 4 | |a Computer Engineering and Networks | |
| 650 | 4 | |a Compilers (Computer programs) | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Application software | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer engineering | |
| 650 | 4 | |a Computer networks | |
| 650 | 0 | 7 | |a Compiler |0 (DE-588)4148248-7 |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 Interpretierer |0 (DE-588)4162129-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 Software Engineering |0 (DE-588)4116521-4 |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 Systemanalyse |0 (DE-588)4116673-5 |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 |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2023 |z Antwerpen |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 | |
| 689 | 1 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 1 | 1 | |a Compiler |0 (DE-588)4148248-7 |D s |
| 689 | 1 | 2 | |a Interpretierer |0 (DE-588)4162129-3 |D s |
| 689 | 1 | 3 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Cimatti, Alessandro |4 edt | |
| 700 | 1 | |a Titolo, Laura |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-031-43681-9 |
| 830 | 0 | |a Lecture notes in computer science |v 14290 |w (DE-604)BV000000607 |9 14290 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-034811067 | |
Record in the Search Index
| _version_ | 1820875837843439616 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Cimatti, Alessandro Titolo, Laura |
| author2_role | edt edt |
| author2_variant | a c ac l t lt |
| author_corporate | FMICS Antwerpen |
| author_corporate_role | aut |
| author_facet | Cimatti, Alessandro Titolo, Laura FMICS Antwerpen |
| author_sort | FMICS Antwerpen |
| building | Verbundindex |
| bvnumber | BV049465389 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 343 DAT 325 DAT 310 |
| ctrlnum | (OCoLC)1414556809 (DE-599)BVBBV049465389 |
| dewey-full | 005.45 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.45 |
| dewey-search | 005.45 |
| dewey-sort | 15.45 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV049465389</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">231213s2023 xx a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783031436802</subfield><subfield code="9">978-3-031-43680-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1414556809</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV049465389</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.45</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 343</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 325</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">FMICS</subfield><subfield code="n">28.</subfield><subfield code="d">2023</subfield><subfield code="c">Antwerpen</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1309941114</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal methods for industrial critical systems</subfield><subfield code="b">28th international conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings</subfield><subfield code="c">Alessandro Cimatti, Laura Titolo, editors</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2023]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2023</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">x, 260 Seiten</subfield><subfield code="b">Illustrationen, Diagramme</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">14290</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Compilers and Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer and Information Systems Applications</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theory of Computation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Engineering and Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Compilers (Computer programs)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Application software</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer networks </subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Compiler</subfield><subfield code="0">(DE-588)4148248-7</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">Interpretierer</subfield><subfield code="0">(DE-588)4162129-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">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</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">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">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="650" ind1="0" ind2="7"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</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">2023</subfield><subfield code="z">Antwerpen</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="689" ind1="1" ind2="0"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Compiler</subfield><subfield code="0">(DE-588)4148248-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Interpretierer</subfield><subfield code="0">(DE-588)4162129-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</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">Cimatti, Alessandro</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Titolo, Laura</subfield><subfield code="4">edt</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-031-43681-9</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">14290</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">14290</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034811067</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2023 Antwerpen gnd-content |
| genre_facet | Konferenzschrift 2023 Antwerpen |
| id | DE-604.BV049465389 |
| illustrated | Illustrated |
| index_date | 2024-07-03T23:15:44Z |
| indexdate | 2025-01-10T15:21:59Z |
| institution | BVB |
| institution_GND | (DE-588)1309941114 |
| isbn | 9783031436802 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034811067 |
| oclc_num | 1414556809 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | x, 260 Seiten Illustrationen, Diagramme |
| publishDate | 2023 |
| publishDateSearch | 2023 |
| publishDateSort | 2023 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | FMICS 28. 2023 Antwerpen Verfasser (DE-588)1309941114 aut Formal methods for industrial critical systems 28th international conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings Alessandro Cimatti, Laura Titolo, editors Cham Springer [2023] © 2023 x, 260 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 14290 Compilers and Interpreters Software Engineering Computer and Information Systems Applications Artificial Intelligence Theory of Computation Computer Engineering and Networks Compilers (Computer programs) Software engineering Application software Artificial intelligence Computer science Computer engineering Computer networks Compiler (DE-588)4148248-7 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf Interpretierer (DE-588)4162129-3 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf Sicherheitskritisches System (DE-588)4767762-4 gnd rswk-swf Systemanalyse (DE-588)4116673-5 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Systementwurf (DE-588)4261480-6 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2023 Antwerpen 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 Programmiersprache (DE-588)4047409-4 s Compiler (DE-588)4148248-7 s Interpretierer (DE-588)4162129-3 s Software Engineering (DE-588)4116521-4 s Cimatti, Alessandro edt Titolo, Laura edt Erscheint auch als Online-Ausgabe 978-3-031-43681-9 Lecture notes in computer science 14290 (DE-604)BV000000607 14290 |
| spellingShingle | Formal methods for industrial critical systems 28th international conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings Lecture notes in computer science Compilers and Interpreters Software Engineering Computer and Information Systems Applications Artificial Intelligence Theory of Computation Computer Engineering and Networks Compilers (Computer programs) Software engineering Application software Artificial intelligence Computer science Computer engineering Computer networks Compiler (DE-588)4148248-7 gnd Formale Methode (DE-588)4333722-3 gnd Interpretierer (DE-588)4162129-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Software Engineering (DE-588)4116521-4 gnd Sicherheitskritisches System (DE-588)4767762-4 gnd Systemanalyse (DE-588)4116673-5 gnd Verifikation (DE-588)4135577-5 gnd Systementwurf (DE-588)4261480-6 gnd Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4148248-7 (DE-588)4333722-3 (DE-588)4162129-3 (DE-588)4116522-6 (DE-588)4116521-4 (DE-588)4767762-4 (DE-588)4116673-5 (DE-588)4135577-5 (DE-588)4261480-6 (DE-588)4047409-4 (DE-588)1071861417 |
| title | Formal methods for industrial critical systems 28th international conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings |
| title_auth | Formal methods for industrial critical systems 28th international conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings |
| title_exact_search | Formal methods for industrial critical systems 28th international conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings |
| title_exact_search_txtP | Formal methods for industrial critical systems 28th international conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings |
| title_full | Formal methods for industrial critical systems 28th international conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings Alessandro Cimatti, Laura Titolo, editors |
| title_fullStr | Formal methods for industrial critical systems 28th international conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings Alessandro Cimatti, Laura Titolo, editors |
| title_full_unstemmed | Formal methods for industrial critical systems 28th international conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings Alessandro Cimatti, Laura Titolo, editors |
| title_short | Formal methods for industrial critical systems |
| title_sort | formal methods for industrial critical systems 28th international conference fmics 2023 antwerp belgium september 20 22 2023 proceedings |
| title_sub | 28th international conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings |
| topic | Compilers and Interpreters Software Engineering Computer and Information Systems Applications Artificial Intelligence Theory of Computation Computer Engineering and Networks Compilers (Computer programs) Software engineering Application software Artificial intelligence Computer science Computer engineering Computer networks Compiler (DE-588)4148248-7 gnd Formale Methode (DE-588)4333722-3 gnd Interpretierer (DE-588)4162129-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Software Engineering (DE-588)4116521-4 gnd Sicherheitskritisches System (DE-588)4767762-4 gnd Systemanalyse (DE-588)4116673-5 gnd Verifikation (DE-588)4135577-5 gnd Systementwurf (DE-588)4261480-6 gnd Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Compilers and Interpreters Software Engineering Computer and Information Systems Applications Artificial Intelligence Theory of Computation Computer Engineering and Networks Compilers (Computer programs) Software engineering Application software Artificial intelligence Computer science Computer engineering Computer networks Compiler Formale Methode Interpretierer Softwareentwicklung Sicherheitskritisches System Systemanalyse Verifikation Systementwurf Programmiersprache Konferenzschrift 2023 Antwerpen |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT fmicsantwerpen formalmethodsforindustrialcriticalsystems28thinternationalconferencefmics2023antwerpbelgiumseptember20222023proceedings AT cimattialessandro formalmethodsforindustrialcriticalsystems28thinternationalconferencefmics2023antwerpbelgiumseptember20222023proceedings AT titololaura formalmethodsforindustrialcriticalsystems28thinternationalconferencefmics2023antwerpbelgiumseptember20222023proceedings |