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

Publication
SAE International Journal of Aerospace

Related