Automatic verification of behavior preservation at the transformation level for relational model transformation

Overview of attention for article published in Software and Systems Modeling, December 2018

Altmetric Badge

Mentioned by

twitter: 1 X user

Citations

dimensions_citation: 1 Dimensions

Readers on

mendeley: 7 Mendeley

Summary X Dimensions citations

So far, Dimensions has found 1 citation of this research output.

1

The most recent citing publication is shown below. View this citation on Dimensions.

Multiclock Constraint System Modelling and Verification for Ensuring Cooperative Autonomous Driving Safety

Article in Journal of Advanced Transportation (December 2020)