A framework for modeling and analyzing cyber-physical systems using statistical model checking
| Autor: | Alshalalfah, Abdel-Latif, Ait Mohamed, Otmane, Ouchani, Samir |
|---|---|
| Zdroj: | In Internet of Things July 2023 22 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Alshalalfah, Abdel-Latif, Ait Mohamed, Otmane, Ouchani, Samir |
|---|---|
| Zdroj: | In Internet of Things July 2023 22 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect