Search for: [Subject and Keywords = multi\-agent system] OR [Subject and Keywords = interaction protocol] OR [Subject and Keywords = process algebra] OR [Subject and Keywords = formal specification] OR [Title = FSP and FLTL framework for specification and verification of middle\-agents] OR [Creator = Bădică, Amelia] OR [Creator = Bădică, Costin]
Number of results: 2
AMCS, Volume 21 (2011)
Czarnowski, Ireneusz Jędrzejowicz, Piotr Korbicz, Józef - red. Uciński, Dariusz - red.
2011
artykuł
AMCS, Volume 25 (2015)
Pilotti, Pablo Casali, Ana Chesnevar, Carlos Byrski, Aleksander - ed. Kisiel-Dorohinicki, Marek - ed. Dobrowolski, Grzegorz - ed.
artykuł
