Multi-Layer Consistency Validation of IoT Systems with UML Inheritance Dynamic Diagrams via SPIN Model Checking.
| Autor: | Messaoudi, Nabil1 messaoudi.nabil@univ-khenchela.dz, Hicham, Haouassi1, Messaoud, Maarouk Toufik1, Elkamel, Hamdane Mohamed2 |
|---|---|
| Zdroj: | Ingénierie des Systèmes d'Information. Dec2023, Vol. 28 Issue 6, p1533-1547. 15p. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|