Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday.

Anne Elisabeth Haxthausen (Editor), Wen-ling Huang (Editor), Markus Roggenbach (Editor)

Research output: Book/ReportBookResearchpeer-review

Abstract

This Festschrift is dedicated to Jan Peleska on the occasion of his 65th birthday. Its title “Applicable Formal Methods for Safe Industrial Products” mirrors Jan’s research interest in the combination and application of existing methods and corresponding tools to ‘realworld’ problems. Most of his research activities are motivated by and applied to industrial projects in the field of safety-critical embedded systems and distributed systems, such as, for example, avionic systems and railway control systems. This Festschrift begins with a laudatio, which celebrates Jan’s scientific contributions and acknowledges him as a wonderful colleague and friend.
Original languageEnglish
PublisherSpringer
Number of pages334
ISBN (Print)978-3-031-40131-2
DOIs
Publication statusPublished - 2023
SeriesLecture Notes in Computer Science
Volume14165
ISSN0302-9743

Fingerprint

Dive into the research topics of 'Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday.'. Together they form a unique fingerprint.

Cite this