Applicable Formal Methods for Safe Industrial Products - Anne E. Haxthausen, Wen-ling Huang & Markus Roggenbach

Applicable Formal Methods for Safe Industrial Products

By Anne E. Haxthausen, Wen-ling Huang & Markus Roggenbach

  • Release Date: 2023-08-16
  • Genre: Software

This Festschrift, dedicated to Jan Peleska on the occasion of his 65th birthday, contains papers written by many of his closest collaborators in academic and industry research. 

After studying mathematics at the University of Hamburg, Jan worked with Philips and Deutsche System-Technik on fault-tolerant systems, distributed systems, database systems, and safety-critical embedded systems. Since 1994 he has worked as a consultant to industry, specializing in development methods, verification, validation and test of safety-critical systems, and since 1995 he has been a Professor of Computer Science at the University of Bremen.

 In his research he has been most interested in the combination and application of existing methods and corresponding tools to real-world problems, particularly in the field of safety-critical embedded systems and distributed systems, including avionics and railway control systems. The papers in this volume reflect those interests, and the impact he has had on colleagues and collaborators. The volume is structured into sections on testing; railway verification and safety & security; intelligent systems and cyber-physical systems; and tools and techniques for specification, verification and code generation.

Comments:

12 Comments
Taylor Mackenzie
Amazing! I love this site
Aston Ayers
Only Signup is easy and free, finally I can read this book Applicable Formal Methods for Safe Industrial Products with good quality. Thank you!
Ashley Ann
Been waiting to download this book for months. and finally came out too
Cheryl Lynn
This book Applicable Formal Methods for Safe Industrial Products is very nice, with quick read and download
Erin Cochran Cole
Great selection and quality is better than many Book Store, no kidding.
Kyle Magner
yes, i am also through this to download books
Eric Mn
Yes this really works! Just got my free account
Terry Barnes
One of the best book I've seen this year!
Pastor Shahuano
Excited, Happy Reading guys !!!
Laura Velez Garcia
Thanks, I'm so glad to be reading this book
Wouter van der Giessen
Laura Velez Garcia yes same me too
Janet McCann
Sign up was really easy. Less than 1 minute I was hooked up