Heterogeneous verification in the context of model driven engineering

Tipo

Artículo de journal

Año

2016

Páginas

3

Volúmen

126

Abstract

Autores

Till Mossakowski

Nora Szasz

Citekey

DBLP:journals/scp/CalegariMS16

URL a la publicación

http://dx.doi.org/10.1016/j.scico.2016.02.003

doi

10.1016/j.scico.2016.02.003

Keywords