Software verification and formal methods for ML-enabled autonomous systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , , , |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2022]
|
| Schriftenreihe: | Lecture Notes in Computer Science
13466 |
| Schlagworte: | |
| Beschreibung: | x, 204 Seiten Illustrationen, Diagramme |
| ISBN: | 9783031212215 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV048690829 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 230203s2022 xx a||| |||| 10||| eng d | ||
| 020 | |a 9783031212215 |9 978-3-031-21221-5 | ||
| 035 | |a (OCoLC)1369557462 | ||
| 035 | |a (DE-599)BVBBV048690829 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 082 | 0 | |a 004.0151 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Software verification and formal methods for ML-enabled autonomous systems |b 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings |c edited by Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi |
| 264 | 1 | |a Cham |b Springer |c [2022] | |
| 300 | |a x, 204 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 13466 | |
| 650 | 4 | |a Computer Science Logic and Foundations of Programming | |
| 650 | 4 | |a Computer Communication Networks | |
| 650 | 4 | |a Machine Learning | |
| 650 | 4 | |a Computer Vision | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer networks | |
| 650 | 4 | |a Machine learning | |
| 650 | 4 | |a Computer vision | |
| 650 | 4 | |a Software engineering | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2022 |z Haifa |2 gnd-content | |
| 700 | 1 | |a Isac, Omri |4 edt | |
| 700 | 1 | |a Ivanov, Radoslav |4 edt | |
| 700 | 1 | |a Katz, Guy |4 edt | |
| 700 | 1 | |a Narodytska, Nina |4 edt | |
| 700 | 1 | |a Nenzi, Laura |0 (DE-588)1272464148 |4 edt | |
| 711 | 2 | |a International Workshop on Formal Methods for ML-Enabled Autonomous Systems |n 5. |d 2022 |c Haifa |0 (DE-588)1279975121 |4 edt | |
| 711 | 2 | |a International Workshop on Numerical Software Verification |n 15. |d 2022 |c Haifa |0 (DE-588)1279976055 |4 oth | |
| 711 | 2 | |a International Conference on Computer-Aided Verification |n 34. |d 2022 |c Haifa |j Sonstige |0 (DE-588)1266209492 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-031-21222-2 |
| 830 | 0 | |a Lecture Notes in Computer Science |v 13466 |w (DE-604)BV000000607 |9 13466 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-034065038 | |
Datensatz im Suchindex
| _version_ | 1820875815475216384 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Isac, Omri Ivanov, Radoslav Katz, Guy Narodytska, Nina Nenzi, Laura |
| author2_role | edt edt edt edt edt |
| author2_variant | o i oi r i ri g k gk n n nn l n ln |
| author_GND | (DE-588)1272464148 |
| author_corporate | International Workshop on Formal Methods for ML-Enabled Autonomous Systems |
| author_corporate_role | edt |
| author_facet | Isac, Omri Ivanov, Radoslav Katz, Guy Narodytska, Nina Nenzi, Laura International Workshop on Formal Methods for ML-Enabled Autonomous Systems |
| building | Verbundindex |
| bvnumber | BV048690829 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 000 |
| ctrlnum | (OCoLC)1369557462 (DE-599)BVBBV048690829 |
| dewey-full | 004.0151 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.0151 |
| dewey-search | 004.0151 |
| dewey-sort | 14.0151 |
| 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">BV048690829</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">230203s2022 xx a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783031212215</subfield><subfield code="9">978-3-031-21221-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1369557462</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV048690829</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">004.0151</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Software verification and formal methods for ML-enabled autonomous systems</subfield><subfield code="b">5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings</subfield><subfield code="c">edited by Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2022]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">x, 204 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">13466</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science Logic and Foundations of Programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Communication Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Machine Learning</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Vision</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 science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer networks </subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Machine learning</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer vision</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2022</subfield><subfield code="z">Haifa</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Isac, Omri</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ivanov, Radoslav</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Katz, Guy</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Narodytska, Nina</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Nenzi, Laura</subfield><subfield code="0">(DE-588)1272464148</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Workshop on Formal Methods for ML-Enabled Autonomous Systems</subfield><subfield code="n">5.</subfield><subfield code="d">2022</subfield><subfield code="c">Haifa</subfield><subfield code="0">(DE-588)1279975121</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Workshop on Numerical Software Verification</subfield><subfield code="n">15.</subfield><subfield code="d">2022</subfield><subfield code="c">Haifa</subfield><subfield code="0">(DE-588)1279976055</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Conference on Computer-Aided Verification</subfield><subfield code="n">34.</subfield><subfield code="d">2022</subfield><subfield code="c">Haifa</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1266209492</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-031-21222-2</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">13466</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">13466</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034065038</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2022 Haifa gnd-content |
| genre_facet | Konferenzschrift 2022 Haifa |
| id | DE-604.BV048690829 |
| illustrated | Illustrated |
| index_date | 2024-07-03T21:27:25Z |
| indexdate | 2025-01-10T15:21:38Z |
| institution | BVB |
| institution_GND | (DE-588)1279975121 (DE-588)1279976055 (DE-588)1266209492 |
| isbn | 9783031212215 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034065038 |
| oclc_num | 1369557462 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | x, 204 Seiten Illustrationen, Diagramme |
| publishDate | 2022 |
| publishDateSearch | 2022 |
| publishDateSort | 2022 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Software verification and formal methods for ML-enabled autonomous systems 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings edited by Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi Cham Springer [2022] x, 204 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 13466 Computer Science Logic and Foundations of Programming Computer Communication Networks Machine Learning Computer Vision Software Engineering Computer science Computer networks Machine learning Computer vision Software engineering (DE-588)1071861417 Konferenzschrift 2022 Haifa gnd-content Isac, Omri edt Ivanov, Radoslav edt Katz, Guy edt Narodytska, Nina edt Nenzi, Laura (DE-588)1272464148 edt International Workshop on Formal Methods for ML-Enabled Autonomous Systems 5. 2022 Haifa (DE-588)1279975121 edt International Workshop on Numerical Software Verification 15. 2022 Haifa (DE-588)1279976055 oth International Conference on Computer-Aided Verification 34. 2022 Haifa Sonstige (DE-588)1266209492 oth Erscheint auch als Online-Ausgabe 978-3-031-21222-2 Lecture Notes in Computer Science 13466 (DE-604)BV000000607 13466 |
| spellingShingle | Software verification and formal methods for ML-enabled autonomous systems 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings Lecture Notes in Computer Science Computer Science Logic and Foundations of Programming Computer Communication Networks Machine Learning Computer Vision Software Engineering Computer science Computer networks Machine learning Computer vision Software engineering |
| subject_GND | (DE-588)1071861417 |
| title | Software verification and formal methods for ML-enabled autonomous systems 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings |
| title_auth | Software verification and formal methods for ML-enabled autonomous systems 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings |
| title_exact_search | Software verification and formal methods for ML-enabled autonomous systems 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings |
| title_exact_search_txtP | Software verification and formal methods for ML-enabled autonomous systems 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings |
| title_full | Software verification and formal methods for ML-enabled autonomous systems 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings edited by Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi |
| title_fullStr | Software verification and formal methods for ML-enabled autonomous systems 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings edited by Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi |
| title_full_unstemmed | Software verification and formal methods for ML-enabled autonomous systems 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings edited by Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi |
| title_short | Software verification and formal methods for ML-enabled autonomous systems |
| title_sort | software verification and formal methods for ml enabled autonomous systems 5th international workshop fomlas 2022 and 15th international workshop nsv 2022 haifa israel july 31 august 1 and august 11 2022 proceedings |
| title_sub | 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings |
| topic | Computer Science Logic and Foundations of Programming Computer Communication Networks Machine Learning Computer Vision Software Engineering Computer science Computer networks Machine learning Computer vision Software engineering |
| topic_facet | Computer Science Logic and Foundations of Programming Computer Communication Networks Machine Learning Computer Vision Software Engineering Computer science Computer networks Machine learning Computer vision Software engineering Konferenzschrift 2022 Haifa |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT isacomri softwareverificationandformalmethodsformlenabledautonomoussystems5thinternationalworkshopfomlas2022and15thinternationalworkshopnsv2022haifaisraeljuly31august1andaugust112022proceedings AT ivanovradoslav softwareverificationandformalmethodsformlenabledautonomoussystems5thinternationalworkshopfomlas2022and15thinternationalworkshopnsv2022haifaisraeljuly31august1andaugust112022proceedings AT katzguy softwareverificationandformalmethodsformlenabledautonomoussystems5thinternationalworkshopfomlas2022and15thinternationalworkshopnsv2022haifaisraeljuly31august1andaugust112022proceedings AT narodytskanina softwareverificationandformalmethodsformlenabledautonomoussystems5thinternationalworkshopfomlas2022and15thinternationalworkshopnsv2022haifaisraeljuly31august1andaugust112022proceedings AT nenzilaura softwareverificationandformalmethodsformlenabledautonomoussystems5thinternationalworkshopfomlas2022and15thinternationalworkshopnsv2022haifaisraeljuly31august1andaugust112022proceedings AT internationalworkshoponformalmethodsformlenabledautonomoussystemshaifa softwareverificationandformalmethodsformlenabledautonomoussystems5thinternationalworkshopfomlas2022and15thinternationalworkshopnsv2022haifaisraeljuly31august1andaugust112022proceedings AT internationalworkshoponnumericalsoftwareverificationhaifa softwareverificationandformalmethodsformlenabledautonomoussystems5thinternationalworkshopfomlas2022and15thinternationalworkshopnsv2022haifaisraeljuly31august1andaugust112022proceedings AT internationalconferenceoncomputeraidedverificationhaifa softwareverificationandformalmethodsformlenabledautonomoussystems5thinternationalworkshopfomlas2022and15thinternationalworkshopnsv2022haifaisraeljuly31august1andaugust112022proceedings |