Clone Detection in Model-Based Development Using Formal Methods to Enhance Performance in Software Development

Author(s)
Jnanamurthy, H K
Henskens, Frans
Paul, David
Wallis, Mark
Publication Date
2018
Citation
Proceedings of the 3rd International Conference for Convergence in Technology (I2CT), p. 1-8
ISBN
9781538642733
9781538642740
Link
https://hdl.handle.net/1959.11/29368
Language
en
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Title
Clone Detection in Model-Based Development Using Formal Methods to Enhance Performance in Software Development
Type of document
Conference Publication
Entity Type
Publication

Files:

NameSizeformatDescriptionLink