Login / Signup

Method for Testing and Debugging Flow Formal Specification in Full-Stack Embedded Systems Designs.

Vasiliy PinkevichAlexey Platunov
Published in: MECO (2020)
Keyphrases
  • embedded systems
  • formal specification
  • embedded software
  • specification language
  • resource limited