Login / Signup

Timing Assurance of Avionic Reconfiguration Schemes Using Formal Analysis.

Antonio Augusto da FontouraFrancisco Assis Moreira do NascimentoSimin Nadjm-TehraniEdison Pignaton de Freitas
Published in: IEEE Trans. Aerosp. Electron. Syst. (2020)
Keyphrases
  • formal analysis
  • formal methods
  • data sets
  • database systems
  • manufacturing systems
  • database
  • web services
  • open source
  • lightweight
  • ban logic