Keyword:Metamodelling

Publications
Verifying Non-Friendly Formal Verification Designs: Can We Start Earlier? Bryan Olmos, Daniel Gerl, Aman Kumar and Djones Lettnin EasyChair Preprint 14786
Metamodeling and metalearning approaches in inductive modeling tools Yevgeniya Savchenko and Volodymyr Stepashko EasyChair Preprint 83