Login / Signup

Correction: A framework for embedded software portability and verification: from formal models to low-level code.

Renata Martins GomesBernhard K. AichernigMarcel Baunach
Published in: Softw. Syst. Model. (2024)
Keyphrases
  • formal models
  • low level
  • embedded software
  • high level
  • software architecture
  • formal model
  • artificial intelligence
  • visual features
  • data flow