Sign in

Formal assessment of reliability specifications in embedded cyber-physical systems.

Aritra HazraPallab DasguptaPartha Pratim Chakrabarti
Published in: J. Appl. Log. (2016)
Keyphrases
  • cyber physical systems
  • embedded systems
  • formal specification
  • cyber physical
  • physical world
  • low cost
  • virtual world
  • cyber security
  • artificial intelligence
  • social networks
  • sensor networks
  • critical infrastructure