Vasiliy Pinkevich, Alexey Platunov. Method for Testing and Debugging Flow Formal Specification in Full-Stack Embedded Systems Designs. In 9th Mediterranean Conference on Embedded Computing, MECO 2020, Budva, Montenegro, June 8-11, 2020. pages 1-4, IEEE, 2020. [doi]
Abstract is missing.