المؤلفون: Hudec, G., Dembitz, S.

المصدر: 2000 10th Mediterranean Electrotechnical Conference. Information Technology and Electrotechnology for the Mediterranean Countries. Proceedings. MeleCon 2000 (Cat. No.00CH37099) ; volume 2, page 835-838

الاتاحة: http://dx.doi.org/10.1109/melcon.2000.880063
http://xplorestaging.ieee.org/ielx5/7056/19013/00880063.pdf?arnumber=880063

المؤلفون: Segaric, K., Knezevic, P., Dembitz, S.

المصدر: EUROCON'2001. International Conference on Trends in Communications. Technical Program, Proceedings (Cat. No.01EX439) ; volume 1, page 77-79

الاتاحة: http://dx.doi.org/10.1109/eurcon.2001.937767
http://xplorestaging.ieee.org/ielx5/7466/20300/00937767.pdf?arnumber=937767

المؤلفون: Dembitz, S., Sokele, M.

المصدر: MELECON '98. 9th Mediterranean Electrotechnical Conference. Proceedings (Cat. No.98CH36056) ; volume 2, page 1370-1374

الاتاحة: http://dx.doi.org/10.1109/melcon.1998.699461
http://xplorestaging.ieee.org/ielx4/5631/15163/00699461.pdf?arnumber=699461

المؤلفون: Blaskovic, B., Dembitz, S., Knezevic, P.

المصدر: 2000 10th Mediterranean Electrotechnical Conference. Information Technology and Electrotechnology for the Mediterranean Countries. Proceedings. MeleCon 2000 (Cat. No.00CH37099) ; volume 1, page 77-80

الاتاحة: http://dx.doi.org/10.1109/melcon.2000.880372
http://xplorestaging.ieee.org/ielx5/7056/19042/00880372.pdf?arnumber=880372

المؤلفون: Dembitz, S, Jojic, Ljiljana, Pavlek, Jakov

المساهمون: Branko Katalinic

مصطلحات موضوعية: artifical intelligence, closure criteria, lexicology, lexicography

URL الوصول: https://explore.openaire.eu/search/publication?articleId=57a035e5b1ae::00bff8df4f094a042e275150192d5ddb
https://www.bib.irb.hr/231539

المؤلفون: Bruno Blaskovic, Dembitz, S., Knezevic, P.

المساهمون: Economides, Costas. Patticichis, Constantinos. Maliotis, Gregory

المصدر: Scopus-Elsevier
Publons

مصطلحات موضوعية: model checking, verification of specification, SDL, SPIN, concurrency, protocol synthesis

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::783f0fc41ad2bda3407f76976548fc0c
https://www.bib.irb.hr/64540

المؤلفون: Bruno Blaskovic, Randic, M., Dembitz, S.

المساهمون: Katalinić, Branko

المصدر: Scopus-Elsevier

مصطلحات موضوعية: Model transformation, Model checking, spin

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::567844305cf8382359f834d5bd964550
http://www.scopus.com/inward/record.url?eid=2-s2.0-84904283797&partnerID=MN8TOARS

المؤلفون: Segaric, K., Knezevic, P., Dembitz, S.

المصدر: EUROCON'2001. International Conference on Trends in Communications. Technical Program, Proceedings (Cat. No.01EX439); 2001, p77-77, 1p

المؤلفون: Hudec, G., Dembitz, S.

المصدر: 2000 10th Mediterranean Electrotechnical Conference. Information Technology & Electrotechnology for the Mediterranean Countries. Proceedings MeleCon 2000 (Cat. No.00CH37099); 2000, p835-835, 1p

المؤلفون: Blaskovic, B., Dembitz, S., Knezevic, P.

المصدر: 2000 10th Mediterranean Electrotechnical Conference. Information Technology & Electrotechnology for the Mediterranean Countries. Proceedings MeleCon 2000 (Cat. No.00CH37099); 2000, p77-77, 1p

المؤلفون: Dembitz, S., Sokele, M.

المصدر: MELECON '98 9th Mediterranean Electrotechnical Conference Proceedings (Cat No98CH36056); 1998, Issue 2, p1370-1370, 1p