Formal Methods for Control of Nonlinear Systems by Jun Liu HARDBACK

Methods for Solving Systems of Nonlinear Equations (CBMS-NSF Regional Conference

Formal Methods for Industrial Critical Systems : A Survey of Applications, Pa...

Control of Nonlinear Dynamical Systems: Methods and Applications

Formal Methods for Industrial Critical Systems: A Survey of Applications by Stef

Formal Methods for Multi-agent Feedback Control Systems, Paperback by Lindema...

Formal Methods for Industrial Critical Systems : A Survey of Applications, Pa...

Formal Methods for Multi-Agent Feedback Control Systems by Lars Lindemann Paperb