TY - BOOK
T1 - Applicable Formal Methods for Safe Industrial Products
T2 - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday.
A2 - Haxthausen, Anne Elisabeth
A2 - Huang, Wen-ling
A2 - Roggenbach, Markus
PY - 2023
Y1 - 2023
N2 - 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.
AB - 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.
U2 - 10.1007/978-3-031-40132-9
DO - 10.1007/978-3-031-40132-9
M3 - Book
SN - 978-3-031-40131-2
T3 - Lecture Notes in Computer Science
BT - Applicable Formal Methods for Safe Industrial Products
PB - Springer
ER -