Adopting formal methods on requirements verification and validation for cyber-physical systems: A systematic literature review
| Autor: | Masmoudi, Chedhli *, Marange, Pascale, Bonjour, Eric, Levrat, Eric, Kerbrat, Alain |
|---|---|
| Zdroj: | In IFAC PapersOnLine 2022 55(10):3274-3279 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|