Login / Signup
Formal modeling and verification of integrated photonic systems.
Umair Siddique
Osman Hasan
Sofiène Tahar
Published in:
SysCon (2015)
Keyphrases
</>
formal methods
building blocks
dynamic aspects
distributed systems
management system
computer vision
metadata
expert systems
model checking
real world
security systems
neural network
e learning
control system
database
social networks
computer systems
machine learning
formal analysis
formal verification