CRESCO Framework and Checker: Automatic generation of Reflective UML State Machine's C++ Code and Checker
Proceedings:
Proceedings - 2020 IEEE 31st International Symposium on Software Reliability Engineering Workshops, ISSREW 2020
ISBN: 9781728198705
Year of publication: 2020
Pages: 25-30
Type: Conference paper