Tell a friend
Print
Howar, Falk and Hungar, Hardi and Rausch, Andreas (2021) Formal Methods for a Digital Industry. In: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, 13036, pp. 71-76. Springer Nature. 10th International Symposium on Leveraging Applications of Formal Methods, 17.-29. Oct. 2021, 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
- Only accessible within DLR
113kB |
Official URL: https://link.springer.com/chapter/10.1007/978-3-030-89159-6_5
Abstract
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.
| Item URL in elib: | https://elib.dlr.de/148294/ | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Document Type: | Conference or Workshop Item (Speech) | ||||||||||||
| Title: | Formal Methods for a Digital Industry | ||||||||||||
| Authors: |
| ||||||||||||
| Date: | 2021 | ||||||||||||
| Journal or Publication Title: | 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021 | ||||||||||||
| Refereed publication: | Yes | ||||||||||||
| Open Access: | No | ||||||||||||
| Gold Open Access: | No | ||||||||||||
| In SCOPUS: | Yes | ||||||||||||
| In ISI Web of Science: | No | ||||||||||||
| Volume: | 13036 | ||||||||||||
| DOI : | 10.1007/978-3-030-89159-6 | ||||||||||||
| Page Range: | pp. 71-76 | ||||||||||||
| Editors: |
| ||||||||||||
| Publisher: | Springer Nature | ||||||||||||
| Series Name: | Lecture Notes in Computer Science | ||||||||||||
| ISSN: | 0302-9743 | ||||||||||||
| ISBN: | 978-303089158-9 | ||||||||||||
| Status: | Published | ||||||||||||
| Keywords: | digitalization, digital transformation, formal methods | ||||||||||||
| Event Title: | 10th International Symposium on Leveraging Applications of Formal Methods | ||||||||||||
| Event Location: | Rhodes, Greece | ||||||||||||
| Event Type: | international Conference | ||||||||||||
| Event Dates: | 17.-29. Oct. 2021 | ||||||||||||
| HGF - Research field: | Aeronautics, Space and Transport | ||||||||||||
| HGF - Program: | Transport | ||||||||||||
| HGF - Program Themes: | Road Transport | ||||||||||||
| DLR - Research area: | Transport | ||||||||||||
| DLR - Program: | V ST Straßenverkehr | ||||||||||||
| DLR - Research theme (Project): | V - NGC KoFiF | ||||||||||||
| Location: | Braunschweig | ||||||||||||
| Institutes and Institutions: | Institute of Transportation Systems > Verification and Validation, BS | ||||||||||||
| Deposited By: | Hungar, PD Dr. Hardi | ||||||||||||
| Deposited On: | 31 Jan 2022 11:16 | ||||||||||||
| Last Modified: | 31 Jan 2022 11:16 |
Repository Staff Only: item control page
