Unified verification and monitoring of executable UML specifications
| Title: | Unified verification and monitoring of executable UML specifications |
|---|---|
| Authors: | Besnard, ValentinAff1, IDs10270021009239_cor1; Teodorov, CiprianAff2; Jouault, FrédéricAff1; Brun, MatthiasAff1; Dhaussy, PhilippeAff2 |
| Source: | Software and Systems Modeling. 20(6):1825-1855 |
| Database: | Springer Nature Journals |