Login / Signup

Efficient multilevel formal analysis and estimation of design vulnerability to Single Event Transients.

Ghaith Bany HamadOtmane Aït MohamedYvon Savaria
Published in: IOLTS (2015)
Keyphrases
  • formal analysis
  • user interface
  • artificial intelligence
  • design process
  • agent model
  • computationally efficient
  • building blocks
  • parameter estimation
  • formal methods