Towards Consistency Checking Between a System Model and Its Implementation

Robbert Jongeling, Johan Fredriksson, Federico Ciccozzi, Antonio Cicchetti, Jan Carlson. Towards Consistency Checking Between a System Model and Its Implementation. In Önder Babur, Joachim Denil, Birgit Vogel-Heuser, editors, Systems Modelling and Management - First International Conference, ICSMM 2020, Bergen, Norway, June 25-26, 2020, Proceedings. Volume 1262 of Communications in Computer and Information Science, pages 30-39, Springer, 2020. [doi]

Authors

Robbert Jongeling

This author has not been identified. Look up 'Robbert Jongeling' in Google

Johan Fredriksson

This author has not been identified. Look up 'Johan Fredriksson' in Google

Federico Ciccozzi

This author has not been identified. It may be one of the following persons: Look up 'Federico Ciccozzi' in Google

Antonio Cicchetti

This author has not been identified. Look up 'Antonio Cicchetti' in Google

Jan Carlson

This author has not been identified. Look up 'Jan Carlson' in Google