Login / Signup
Formal Analysis of Optical Systems.
Sanaz Khan Afshar
Umair Siddique
Mohamed Yousri Mahmoud
Vincent Aravantinos
Ons Seddiki
Osman Hasan
Sofiène Tahar
Published in:
CoRR (2014)
Keyphrases
</>
formal analysis
formal methods
real time
building blocks
neural network
three dimensional
expert systems
search engine
management system
intelligent systems
computer systems
ban logic