Repozytorium Uniwersytetu Zielonogórskiego udostępnia 9 272 obiektów cyfrowych
Szukana fraza: [Temat i słowa kluczowe = multi\-agent system] lub [Temat i słowa kluczowe = interaction protocol] lub [Temat i słowa kluczowe = process algebra] lub [Temat i słowa kluczowe = formal specification] lub [Tytuł = FSP and FLTL framework for specification and verification of middle\-agents] lub [Autor = Bădică, Amelia] lub [Autor = Bădică, Costin]
Wyników: 3
AMCS, Volume 25 (2015)
Pilotti, Pablo Casali, Ana Chesnevar, Carlos Byrski, Aleksander - ed. Kisiel-Dorohinicki, Marek - ed. Dobrowolski, Grzegorz - ed.
2015
artykuł
AMCS, Volume 21 (2011)
Czarnowski, Ireneusz Jędrzejowicz, Piotr Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
2011
artykuł
AMCS, volume 32 (2022)
González, Antonio Sala, Antonio Armesto, Leopoldo Wiśniewski, Remigiusz - ed. Gomes, Luis - ed. Wan, Shaohua - ed.
2022
artykuł
