Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-Linear and Linear Analyses

Publication
Formal Methods for Industrial Critical Systems (FMICS'13)

Related