A framework to measure the robustness of programs in the unpredictable environment
Due to the diffusion of IoT, modern software systems are often thought to control and coordinate smart devices in order to manage assets and resources, and to guarantee efficient behaviours. For this class of systems, which interact extensively with humans and with their environment, it is thus cruc...
Đã lưu trong:
| Những tác giả chính: | , , |
|---|---|
| Định dạng: | Artigo |
| Ngôn ngữ: | Inglês |
| Được phát hành: |
Logical Methods in Computer Science e.V.
2023-07-01
|
| Loạt: | Logical Methods in Computer Science |
| Những chủ đề: | |
| Truy cập trực tuyến: | https://lmcs.episciences.org/8780/pdf |
| Các nhãn: |
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|