AutoReq: expressing and verifying requirements for control systems
13
0
0
Texte intégral
Figure
![Fig. 1. Landing set (from Boniol et al. [12]).specification of control systems, we show that it is, in fact, possible and](https://thumb-eu.123doks.com/thumbv2/123doknet/2954656.80703/3.892.475.822.897.1089/fig-landing-boniol-specification-control-systems-fact-possible.webp)
Documents relatifs