Resetting the Initial Conditions for Calculating Epidemic Spread: COVID-19 Outbreak in Italy

by Marina Bagic Babac, Vedran Mornar
Published 2020-01-01

Mapping SDL Specification Fundamentals to Core SDL Ontology

by Marina Bagić Babac, Marijan Kunštić
Published 2010-03-01

Creating TTCN-3 Test Suite from CPN Specification

by Marina Bagic Babac, Dragan Jevtic
Published 2013-06-01

Describing Layered Communication Architecture in SDL Markup Language

by Marina Bagic Babac, Marijan Kunštić, Dragan Jevtić
Published 2010-06-01