顺序化相关论文
整数溢出引起的软件系统安全性问题屡见不鲜,已有的模型检测技术由于存在状态空间爆炸、不能有效支持中断驱动型程序检测等缺点而......
中断驱动型程序在嵌入式软件中是一类常见的并发实现方式，并且中断驱动程序广泛应用于一些对安全和稳定性要求极高的领域（包括航空航......
具有并发行为的软件在社会生产和生活中越来越常见,但并发行为发生顺序的不确定性给软件测试带来巨大挑战。着色Petri网CPN(Colour......
指称语义分为直接指称语义和接续指称语义,其中后一种语义描述的难度较大.给出了直接指称语义描述到接续指称语义描述的转换方法,......
随着医院系统的信息化发展,电子病历正在逐步取代传统的纸质存档病历。而区块链技术作为一种分布式数据库,可以有效地作为电子病历......
均衡顺序化是日系车企推广的一种精益生产方式,也是一种建立在JIT基础之上,同时又对JIS进一步延伸的准序供货方式。这种方式可以有......
