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 2017

ISBN: 9783319539461

Source: EBOOK