...
机译:界面自动机的线性时间分支时间透视图
Univ Augsburg Inst Comp Sci Augsburg Germany;
Univ Bamberg Software Technol Res Grp Bamberg Germany;
机译:校正:界面自动机的线性时间分支时间透视图
机译:非术语概率过程的度量线性时间分支时间谱
机译:概率下推自动机的分支时间模型检查
机译:分支时间与线性时间:合作和可行方法
机译:时间树:用于在人机界面中对活动和状态建模的分支时间结构。
机译:用于软件测试案例生成的实时扩展接口自动机
机译:用于线性时间分支时间光谱的游戏
机译:将TamE应用于I / O自动机:用户的视角