AirborneCPS: A Simulator for Functional Dependencies in Cyber Physical Systems: A Traffic Collision Avoidance System Implementation.

William Cook, Andrew Driscoll, Bastian Tenbergen

Browse the full RE paper archive.