Normal view MARC view ISBD view

Formal Techniques for Safety-Critical Systems

Osman Hasan, Frédéric Mallet

Formal Techniques for Safety-Critical Systems - Springer Springer 2020

ISBN: 9783030469023

Source: EBOOK