Expressing GMoDS models into object-oriented models using the event-B language

URN:NBN:SI:doc-PIWE6RMN2016Brezovan, MariusGanea, EugenStanescu, Lianadocuments/doc/P/URN_NBN_SI_doc-PIWE6RMN_001.pdfdocuments/doc/P/URN_NBN_SI_doc-PIWE6RMN_001.txt140articlestr. 29-420350-559629623591URN:NBN:SI:doc-PIWE6RMNengSlovensko društvo InformatikaInformatica (Ljubljana)InCcomputer scienceračunalništvoExpressing GMoDS models into object-oriented models using the event-B language