CRESCO Framework and Checker: Automatic generation of Reflective UML State Machine's C++ Code and Checker
Actes de conférence:
Proceedings - 2020 IEEE 31st International Symposium on Software Reliability Engineering Workshops, ISSREW 2020
ISBN: 9781728198705
Année de publication: 2020
Pages: 25-30
Type: Communication dans un congrès