Filtry
  • Kolekcje
  • Publikacje grupowe
  • Typ pliku
  • Autor
  • Współtwórca
  • Tytuł
  • Temat i słowa kluczowe
  • Data wydania
  • Typ zasobu
  • Jezyk
  • Prawa do dysponowania publikacją

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

obiektów na stronie
AMCS, Volume 25 (2015)

Pilotti, Pablo Casali, Ana Chesnevar, Carlos Byrski, Aleksander - ed. Kisiel-Dorohinicki, Marek - ed. Dobrowolski, Grzegorz - ed.

artykuł

Ta strona wykorzystuje pliki 'cookies'. Więcej informacji