- Tytuł:
- FSP and FLTL framework for specification and verification of middle-agents
- Autorzy:
-
Bădică, A.
Bădică, C. - Data publikacji:
- 2011
- Wydawca:
- Uniwersytet Zielonogórski. Oficyna Wydawnicza
- Tematy:
-
system wieloagentowy
algebra procesów
specyfikacja formalna
multi-agent system
interaction protocol
process algebra
formal specification - Źródło:
-
International Journal of Applied Mathematics and Computer Science; 2011, 21, 1; 9-25
1641-876X
2083-8492 - Język:
- angielski
- Prawa:
- Wszystkie prawa zastrzeżone. Swoboda użytkownika ograniczona do ustawowego zakresu dozwolonego użytku
- Dostawca treści:
- Biblioteka Nauki
- Artykuł