基于迁移系统分析的线性混成系统安全验证

基于迁移系统分析的线性混成系统安全验证

蒋慧1，2，卜磊1，2，李宣东1，2

Safety verification of linear hybrid system by transition system analysis

JIANG Hui1，2, BU Lei1，2, LI Xuandong1，2

计算机工程与应用 . 2013, (4): 58 -64 .