Login / Signup

On the formal analysis of Gaussian optical systems in HOL.

Umair SiddiqueSofiè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