- Tytuł:
- A comparison of SMT-solvers for timed weighted interpreted systems
- Autorzy:
- Zbrzezny, A. M.
- Tematy:
-
SMT
model (BMC)
system wieloagentowy (MAS)
multi-agent (MAS) - Pokaż więcej
- Data publikacji:
- 2016
- Wydawca:
- Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
- Dostawca treści:
- Biblioteka Nauki
Artykuł