Formal Techniques for Safety-Critical Systems

Name: Formal Techniques for Safety-Critical Systems
Author: Cyrille Artho, Peter Csaba Ölveczky

Cover of Formal Techniques for Safety-Critical Systems

Popularity 1

No description available.

System failures (engineering)Systems engineeringFormal languagesSoftware engineeringComputer scienceLogic designLogics and Meanings of ProgramsComputation by Abstract Devices