Login / Signup

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
  • low level
  • formal models
  • embedded software
  • high level
  • expert systems
  • source code
  • formal model
  • rule based systems
  • real time
  • software architecture
  • development projects