Filtrer vos résultats
- 3
- 3
- 3
- 1
- 2
- 3
- 3
- 2
- 1
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 1
3 résultats
|
|
triés par
|
|
Formal Modeling IoT Systems on the Basis of BiAgents* and Maude2020 International Conference on Advanced Aspects of Software Engineering (ICAASE), Nov 2020, Constantine, Algeria. pp.1-7, ⟨10.1109/ICAASE51408.2020.9380126⟩
Communication dans un congrès
hal-03177450v2
|
||
|
BiAgent-Based Model for IoT ApplicationsICSOC, Nov 2017, Malagà, Spain. pp.111-123, ⟨10.1007/978-3-319-91764-1_9⟩
Communication dans un congrès
hal-02507243v1
|
||
|
A Formal Model for Interaction Specification and Analysis in IoT Applications8th International Conference on Model and Data Engineering (MEDI 2018), Oct 2018, Marrakesh, Morocco. pp.371-384, ⟨10.1007/978-3-030-00856-7_25⟩
Communication dans un congrès
hal-02507242v1
|