A Model-based Synthesis approach to system design correct by construction under environmental impact requirements
| Autor: | Yvars, Pierre-Alain, Zimmer, Laurent |
|---|---|
| Zdroj: | In Procedia CIRP 2021 103:85-90 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Yvars, Pierre-Alain, Zimmer, Laurent |
|---|---|
| Zdroj: | In Procedia CIRP 2021 103:85-90 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|