Filter your results
- 3
- 3
- 3
- 2
- 1
- 3
- 2
- 2
- 2
- 1
- 1
- 1
3 results
|
|
sorted by
|
|
On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.216-234, ⟨10.1007/978-3-319-40370-0_13⟩
Conference papers
hal-01446028v1
|
||
|
Ecological Internet Resource as a Tool for Information Control of the Harmful Effects of Environmental Pollution4th International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Oct 2019, Kyiv, Ukraine. pp.67-77, ⟨10.1007/978-3-030-48939-7_7⟩
Conference papers
hal-03374236v1
|
||
|
Environmental Monitoring and Population Protection from Environmental Factors4th International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Oct 2019, Kyiv, Ukraine. pp.55-66, ⟨10.1007/978-3-030-48939-7_6⟩
Conference papers
hal-03374238v1
|