Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Digital Transformation Trends: Industry 4.0, Automation, and AI

Industrial Track at ISoLA 2018
: Hessenkämper, Axel; Howar, Falk; Rausch, Andreas


Margaria-Steffen, T.:
Leveraging applications of formal methods, verification and validation. 8th International Symposium, ISoLA 2018. Pt.4: Industrial practice : Limassol, Cyprus, November 5-9, 2018; Proceedings
Cham: Springer International Publishing, 2018 (Lecture Notes in Computer Science 11247)
ISBN: 978-3-030-03426-9 (Print)
ISBN: 978-3-030-03427-6 (Online)
ISBN: 3-030-03426-7
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) <8, 2018, Limassol>
Fraunhofer ISST ()

The industrial track at ISoLA 2018 provided a platform for presenting industrial perspectives on digitalization and for discussing trends and challenges in the ongoing digital transformation. The track continued two special tracks at ISoLA conferences focused on the application of learning techniques in software engineering and software products [3], and industrial applications of formal methods in the context of Industry 4.0 [5]. Topics of interest included but were not limited to Industry 4.0, industrial applications of formal methods, and applications of machine-learning in industrial contexts.