Filter your results
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
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⟩
Conference papers
hal-03177450v2
|