Login / Signup

Specification of Railway Cyber Physical Systems Using AADL.

Lichen Zhang
Published in: EMC/HumanCom (2013)
Keyphrases
  • cyber physical systems
  • test case generation
  • cyber physical
  • physical world
  • cyber security
  • test cases
  • embedded systems
  • social networks
  • critical infrastructure
  • high speed
  • intrusion detection