Login / Signup

EHSTM: a formal model of embedded software and research on several key issues.

Masahiko WatanabeKuanjiu ZhouYicong LiZizhong WangJunyu Li
Published in: CCF Trans. High Perform. Comput. (2021)
Keyphrases
  • formal model
  • key issues
  • embedded software
  • embedded systems
  • development projects
  • software architecture
  • sequence diagrams
  • security properties
  • database
  • open source
  • distributed systems
  • challenges facing