...
机译:具有无声跃迁的定时自动机的有界确定
Graz Univ Technol, Inst Software Technol, Graz, Austria;
AIT Austrian Inst Technol GmbH, Vienna, Austria;
AIT Austrian Inst Technol GmbH, Ctr Digital Safety & Secur, Vienna, Austria;
Graz Univ Technol, Inst Software Technol, Graz, Austria;
Timed automata; Determinization; Silent transition removal; Diagonal constraints; Testcase generation; Model-based testing; Model-based mutation testing;
机译:具有静默过渡的定时自动机的不确定性结果
机译:通过有界模型检查来检查离散定时自动机的MTL属性
机译:加权定时自动机中的下界约束运行
机译:具有无声跃迁的定时自动机的有界确定
机译:利用地球物理约束来确定Amchitka岛地下核爆炸时过渡区深度的地下水传播时间,海底到达位置和盐水浓度
机译:从封面开始:专题文章:从单分子光子到光子轨迹的蛋白质折叠中过渡路径时间上限的实验确定
机译:具有无声跃迁的定时自动机的有界确定
机译:强激光场中的自由束缚和束缚束缚辐射跃迁(U)