Applicable Formal Methods for Safe Industrial Products

Saved in:
Bibliographic Details
Main Author: Haxthausen, Anne E.
Other Authors: Huang, Wen-ling, Roggenbach, Markus
Format: eBook
Language:English
Published: Springer Nature, 2023.
Subjects:
Online Access:Access eBook
Tags: Add Tag
No Tags, Be the first to tag this record!