大三有一门课是软件工程，老师特严格，让我们做系统，是基于B/S的，一般的功能都已经实现，做为课程设计的话没有问题了。
2019-12-21 19:43:09
1.03MB
1
2008-05-05的火车时刻表数据库。
鄙视那些收费的，共享出来，不是执行程序，是Access2003数据库。时间是08年5月的。有需要的请下载。
2019-12-21 19:36:10
2.92MB
1
该资源是实现的一个四列火车调度的模型实例，已在模型检测工具uppaal4.0.14上实现并进行了模型的性质验证，资源中还包含实验的模型仿真和性质验证的截图（实验效果图）。uppaal是一个集成工具环境，它以扩展的时间自动机为建模语言，被用于对经过转换的时间自动机网络模型的实时系统进行建模、检验和验证。
2019-12-21 19:29:13
323KB
1