Sign in

Formal Specification and Verification Framework for Multi-domain Ubiquitous Environment.

Mohamed HiliaAbdelghani ChibaniKarim DjouaniYacine Amirat
Published in: ICSOC (2016)
Keyphrases
  • formal specification
  • multi domain
  • model checking
  • cross domain
  • formal methods
  • ubiquitous environment
  • domain specific
  • database systems
  • reverse engineering
  • protocol specification