- Tytuł:
- Prototyping self-healing behavior for NASA swarm-based systems with ASSL
- Autorzy:
-
Vassev, Emil
Hinchey, Mike - Tematy:
-
intelligent swarms
formal methods
autonomic computing
ASSL
ANTS
inteligentne roje
metody formalne
obliczenia autonomiczne - Pokaż więcej
- Data publikacji:
- 2021
- Wydawca:
- Politechnika Gdańska
- Dostawca treści:
- Biblioteka Nauki
Artykuł