机译:ASADAL / PROVER:用于验证Statechart中实时系统规范的时间特性的工具集
机译:线性时间逻辑,属性规范模式和事件处理语言形式化的时间属性的可理解性
机译:在线性时间逻辑,事件处理语言和属性规范模式中对合规性规范进行建模:关于可理解性的受控实验
机译:使用抽象证明Z规范的时间特性
机译:用抽象指导的仿真证明数字系统的特性。
机译:前额叶皮层组织:时间抽象关系抽象和功能磁共振成像的分离作用。
机译:使用抽象证明Z规范的时间属性
机译:用于证明自动机抽象特性的pVs策略