elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

Formal Methods for a Digital Industry

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] 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:
AuthorsInstitution or Email of AuthorsAuthor's ORCID iD
Howar, Falkfalk.howar (at) tu-dortmund.dehttps://orcid.org/0000-0002-9524-4459
Hungar, HardiHardi.Hungar (at) dlr.dehttps://orcid.org/0000-0001-6777-0614
Rausch, Andreasandreas.rausch (at) tu-clausthal.deUNSPECIFIED
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:
EditorsEmailEditor's ORCID iD
Margaria, TizianaUNSPECIFIED0000-0002-5547-9739
Steffen, BernhardUNSPECIFIED0000-0001-9619-1558
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

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.