Login / Signup

Upgrade of the Arc Interconnection Verification System for the Large Hadron Collider.

Mikolaj BednarskiPiotr JurkiewiczJaromir LudwinDamian WojasMateusz BednarekGiorgio D'Angelo
Published in: MIXDES (2019)
Keyphrases
  • model checking
  • data sets
  • formal methods
  • high density
  • signature verification
  • decision making
  • formal verification
  • computer vision
  • feature extraction
  • bayesian networks
  • face verification
  • formal analysis