Formalni model specifikacije pokretnih telekomunikacijskih agenata

Rad prikazuje razvoj formalne infrastrukture za specifikaciju višeagentskih sustava počevši od matematičkog aparata vektorskog prostora i kauzalnih mapa do konkretnih izvedbi dijagrama postojećih specifikacijskih jezika, konkretno Agent UML-a i obojenih Petrijevih mreža. Ističe važnost dobro definir...

Full description

Permalink: http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:29494
Glavni autor: Bagić, Marina (-)
Ostali autori: Kunštić, Marijan (Thesis advisor)
Vrsta građe: Knjiga
Jezik: hrv
Impresum: Zagreb : M. Bagić ; Fakultet elektrotehnike i računarstva, 2004.