A transformation methodology for Capella to Event-B models with DSL verification
| Autor: | Bouba, Khaoula, Ait Wakrime, Abderrahim, Ouhammou, Yassine, Benaini, Redouane |
|---|---|
| Zdroj: | In Journal of Computer Languages November 2023 77 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect