Login / Signup
Stephan Abke
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Metamodel
Reference Models
Test Data
Computational Model
Top Venues
WSC
</>
Publications
</>
Akin Akbulut
,
Stephan Abke
,
Christoph Laroque
Automated model verification using an equivalence test on a reference model.
WSC
(2017)