Login / Signup

Formal Analysis of Optical Systems.

Sanaz Khan AfsharUmair SiddiqueMohamed Yousri MahmoudVincent AravantinosOns SeddikiOsman HasanSofiène Tahar
Published in: Math. Comput. Sci. (2014)
Keyphrases
  • formal analysis
  • formal methods
  • complex systems
  • computer systems
  • building blocks
  • black box
  • search engine
  • knowledge based systems
  • agent model
  • security mechanisms