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: 2
AMCS, Volume 25 (2015)
Pilotti, Pablo Casali, Ana Chesnevar, Carlos Byrski, Aleksander - ed. Kisiel-Dorohinicki, Marek - ed. Dobrowolski, Grzegorz - ed.
artykuł
AMCS, Volume 21 (2011)
Czarnowski, Ireneusz Jędrzejowicz, Piotr Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
2011
artykuł
