基于时间自动机模型验证技术-计算机软件与理论专业毕业论文

●基于时间自动机的模型验证技术附录攻读硕士学位期间发表的论文程永江、周清雷。基于uppaal的飞机着陆控制系统模型验证，计算机工程设计，2009基于时间自动机的模型验证技术Programming Th