Versenden
Drucken
Howar, Falk und Hungar, Hardi und Rausch, Andreas (2021) Formal Methods for a Digital Industry. In: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, 13036, Seiten 71-76. Springer Nature. 10th International Symposium on Leveraging Applications of Formal Methods, 2021-10-17 - 2021-10-29, Rhodes, Greece. doi: 10.1007/978-3-030-89159-6. ISBN 978-303089158-9. ISSN 0302-9743.
![[img]](https://elib.dlr.de/style/images/fileicons/application_pdf.png) |
PDF
- Nur DLR-intern zugänglich
113kB |
Offizielle URL: https://link.springer.com/chapter/10.1007/978-3-030-89159-6_5
Kurzfassung
The industrial track at ISoLA 2021 provided a platform for presenting industrial perspectives on digitalization and for discussing trends and challenges in the ongoing digital transformation from the perspective of where and how formal methods can contribute to addressing the related technical and societal challenges. The track continued two special tracks at ISoLA conferences focused on the application of learning techniques in software engineering and software products, and industrial applications of formal methods in the context of Industry 4.0. Topics of interest included but were not limited to Industry 4.0, industrial applications of formal methods and testing, as well as applications of machine learning in industrial contexts.
| elib-URL des Eintrags: | https://elib.dlr.de/148294/ | ||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dokumentart: | Konferenzbeitrag (Vortrag) | ||||||||||||||||
| Titel: | Formal Methods for a Digital Industry | ||||||||||||||||
| Autoren: |
| ||||||||||||||||
| Datum: | 2021 | ||||||||||||||||
| Erschienen in: | 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021 | ||||||||||||||||
| Referierte Publikation: | Ja | ||||||||||||||||
| Open Access: | Nein | ||||||||||||||||
| Gold Open Access: | Nein | ||||||||||||||||
| In SCOPUS: | Ja | ||||||||||||||||
| In ISI Web of Science: | Nein | ||||||||||||||||
| Band: | 13036 | ||||||||||||||||
| DOI: | 10.1007/978-3-030-89159-6 | ||||||||||||||||
| Seitenbereich: | Seiten 71-76 | ||||||||||||||||
| Herausgeber: |
| ||||||||||||||||
| Verlag: | Springer Nature | ||||||||||||||||
| Name der Reihe: | Lecture Notes in Computer Science | ||||||||||||||||
| ISSN: | 0302-9743 | ||||||||||||||||
| ISBN: | 978-303089158-9 | ||||||||||||||||
| Status: | veröffentlicht | ||||||||||||||||
| Stichwörter: | digitalization, digital transformation, formal methods | ||||||||||||||||
| Veranstaltungstitel: | 10th International Symposium on Leveraging Applications of Formal Methods | ||||||||||||||||
| Veranstaltungsort: | Rhodes, Greece | ||||||||||||||||
| Veranstaltungsart: | internationale Konferenz | ||||||||||||||||
| Veranstaltungsbeginn: | 17 Oktober 2021 | ||||||||||||||||
| Veranstaltungsende: | 29 Oktober 2021 | ||||||||||||||||
| HGF - Forschungsbereich: | Luftfahrt, Raumfahrt und Verkehr | ||||||||||||||||
| HGF - Programm: | Verkehr | ||||||||||||||||
| HGF - Programmthema: | Straßenverkehr | ||||||||||||||||
| DLR - Schwerpunkt: | Verkehr | ||||||||||||||||
| DLR - Forschungsgebiet: | V ST Straßenverkehr | ||||||||||||||||
| DLR - Teilgebiet (Projekt, Vorhaben): | V - NGC KoFiF (alt) | ||||||||||||||||
| Standort: | Braunschweig | ||||||||||||||||
| Institute & Einrichtungen: | Institut für Verkehrssystemtechnik > Verifikation und Validierung, BS | ||||||||||||||||
| Hinterlegt von: | Hungar, PD Dr. Hardi | ||||||||||||||||
| Hinterlegt am: | 31 Jan 2022 11:16 | ||||||||||||||||
| Letzte Änderung: | 24 Apr 2024 20:46 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags
