Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
research:i2ct2018 [2018-11-14 22:32] – [Clone Detection in Model-Based Development Using Formal Methods to Enhance Performance in Software Development] david | research:i2ct2018 [2020-06-12 05:04] (current) – david | ||
---|---|---|---|
Line 1: | Line 1: | ||
====== Clone Detection in Model-Based Development Using Formal Methods to Enhance Performance in Software Development ====== | ====== Clone Detection in Model-Based Development Using Formal Methods to Enhance Performance in Software Development ====== | ||
- | [[https://ieeexplore.ieee.org/document/ | + | [[https://doi.org/10.1109/I2CT.2018.8529446|Download]] |
Hk, J., Henskens, F., Paul, D., Wallis, M. Clone Detection in Model-Based Development Using Formal Methods to Enhance Performance in Software Development, | Hk, J., Henskens, F., Paul, D., Wallis, M. Clone Detection in Model-Based Development Using Formal Methods to Enhance Performance in Software Development, |