Simplifying the Formal Verification of Safety Requirements in Zone Controllers Through Problem Frames and Constraint-Based Projection
Yuan, Zhengheng, Chen, Xiaohong, Liu, Jing, Yu, Yijun, Sun, Haiying, Zhou, Tingliang, Jin, Zhi
Published in IEEE transactions on intelligent transportation systems (01.11.2018)
Published in IEEE transactions on intelligent transportation systems (01.11.2018)
Get full text
Journal Article