Mapping SDL specification fundamentals to core SDL ontology

Autor: Bagić, Marina
Matična publikacija: Journal of communications software and systems (2010)

Verification of dynamic epistemic properties in multi-agent systems : doctoral thesis = Verifikacija dinamičkih epistemičkih svojstava višeagentskih sustava : doktorska disertacija...

Autor: Bagić, Marina
Impresum 2009

Creating TTCN-3 test suite from CPN specification

Autor: Bagić, Marina
Matična publikacija: Journal of information and organizational sciences (2013)

Describing layered communication architecture in SDL markup language

Autor: Bagić, Marina
Matična publikacija: Journal of information and organizational sciences (2010)

Formalni model specifikacije pokretnih telekomunikacijskih agenata : magistarski rad

Autor: Bagić, Marina
Impresum 2004

Važno je imati stila : zbornik

Impresum 2005

Izdanje: 2. izd

SoftCOM 2002

Autor: Rožić, Nikola, Begušić, Dinko
Impresum 2002

SoftCOM 2002 : 10th International Conference on Software, Telecommunications and Computer Networks, Split-Dubrovnik, Croatia, Venice-Ancona, Italy, October 8 - 11, 2002

Autor: Rožić, Nikola, Begušić, Dinko
Impresum 2002