Normal view MARC view ISBD view

Formal Techniques for Safety-Critical Systems

Cyrille Artho, Peter Csaba Ölveczky

Formal Techniques for Safety-Critical Systems - Springer Springer 2019

ISBN: 9783030129880

Source: EBOOK