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