Login / Signup
On the formal analysis of Gaussian optical systems in HOL.
Umair Siddique
Sofiène Tahar
Published in:
Formal Aspects Comput. (2016)
Keyphrases
</>
formal analysis
formal methods
management system
distributed systems
agent model
multiscale
expert systems
object oriented
knowledge based systems
complex systems
model checking
black box