机译:抽象层次结构:时间/状态尺度可重入形式
Heterarchy; Chaotic liar; Self-reference; Frame problem; Self-similar map;
机译:抽象层次结构:时间/状态尺度可重入形式
机译:从AADL到定时抽象状态机:经过验证的模型转换
机译:有时您必须使自己的手变脏:通常需要抽象信息,但是进入切有金属的真实世界是必需的现实检查
机译:抽象系统的体现形式化模型:从层次到层次
机译:基于抽象数据类型模型扩展的实时系统的正式规范
机译:摘要34:形成疤痕的成纤维细胞的分析揭示了表型过渡时期表观遗传可及性的明显变化
机译:抽象层次结构:时间/状态尺度可重入形式