Distributed interactive simulation; Automation; Specifications; Computer architecture; Digital simulation; Simulation languages; Hybrid simulation; Object oriented programming; Combat simulation; Software tools;
机译:线性时间逻辑,属性规范模式和事件处理语言形式化的时间属性的可理解性
机译:分布式多尺度计算的基础:形式化,规范和分析
机译:自主权,产权和人体:法律和哲学分析
机译:Statechart规范安全性的形式化和验证
机译:属性规范模式的形式化和验证。
机译:扩展报告:基于位于位置13、70和71的氨基酸的酸碱特性对HLA-DRB1等位基因进行新分类:对ACPA状态或结构进展的影响以及对来自两个队列的1235名类风湿病患者的荟萃分析(ESPOIR和EAC队列)
机译:关于线性时间逻辑,属性规范模式和事件处理语言正式化的易于理解性