约束事件相关硕士博士期刊学术论文 - 搜论网

约束事件相关论文

型钢混凝土结构施工工艺研究

为了解决型钢混凝土结构在施工过程中，工序穿插繁杂且相互制约、施工速度慢、协调难度大等问题。笔者通过工程实例，对型钢混凝土梁柱......

期刊

型钢混凝土施工工艺约束事件 SRC construction technologies restrict events

一种基于模型的并发系统测试目的描述

提出了带约束事件的时序逻辑TLCE，用于描述系统运行中输入／输出事件之间的时序关系以及对事件参数的数据相关性约束。阐述了一种基于......

期刊

基于模型的测试时序逻辑约束事件测试用例生成测试目的

看过本文同时还关注