A formal approach to specify and verify Internet of Things architecture
| Autor: | Saidi, Abdessamad, Hadj Kacem, Mohamed, Tounsi, Imen, Hadj Kacem, Ahmed |
|---|---|
| Zdroj: | In Internet of Things December 2023 24 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Saidi, Abdessamad, Hadj Kacem, Mohamed, Tounsi, Imen, Hadj Kacem, Ahmed |
|---|---|
| Zdroj: | In Internet of Things December 2023 24 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect