AutoReq: Expressing and verifying requirements for control systems
| Autor: | Naumchev, Alexandr, Meyer, Bertrand, Mazzara, Manuel, Galinier, Florian, Bruel, Jean-Michel, Ebersold, Sophie |
|---|---|
| Zdroj: | In Journal of Computer Languages April 2019 51:131-142 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect