CRESCO Framework and Checker: Automatic generation of Reflective UML State Machine's C++ Code and Checker
Actas:
Proceedings - 2020 IEEE 31st International Symposium on Software Reliability Engineering Workshops, ISSREW 2020
ISBN: 9781728198705
Ano de publicación: 2020
Páxinas: 25-30
Tipo: Achega congreso