Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Search Results

Filter
  • 1-10 of  216,540 results for ""verification""
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

Compositional Verification of Nuclear Safety I&C Systems with OCRA

Subjects: Model checking; Logic; Manufacturing automation

  • Source: 2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA). 2404:1-8

Record details

×
Academic Journal

Optimized One-Dimensional SQIsign Verification on Intel and Cortex-M4

Subjects: TK7885-7895; Computer engineering. Computer hardware; SQIsign

  • Source: Transactions on Cryptographic Hardware and Embedded Systems, Vol 2025, Iss 1 (2024)Årdal, M A, Adj, G, Alblooshi, A, Aranha, D F, A. Canales-Martínez, I, Chavez-Saab, J, Gazzoni Filho, D L,

Record details

×
  • 1-10 of  216,540 results for ""verification""