Specification of Railway Cyber Physical Systems Using AADL

Lichen Zhang
DOI: https://doi.org/10.1007/978-94-007-7262-5_45
Abstract:
What problem does this paper attempt to address?