Towards Consistency Checking Between a System Model and its Implementation

Fulltext:


Publication Type:

Conference/Workshop Paper

Venue:

International Conference on Systems Modelling and Management


Bibtex

@inproceedings{Jongeling5848,
author = {Robbert Jongeling and Johan Fredriksson and Federico Ciccozzi and Antonio Cicchetti and Jan Carlson},
title = {Towards Consistency Checking Between a System Model and its Implementation},
month = {June},
year = {2020},
booktitle = {International Conference on Systems Modelling and Management},
url = {http://www.es.mdu.se/publications/5848-}
}