Abstract state machines; Formal semantics; Distributed system; SDL; spacetime; frame of reference;
机译:定时抽象状态机语言:实时系统工程的抽象状态机
机译:抽象相对论
机译:相对论在1920年代与抽象建筑的诞生
机译:相对论和抽象状态机
机译:自动化抽象机器的抽象解释
机译:研究筛选器:半自动化抽象筛选的机器学习工具用于系统评价
机译:抽象抽象机器的重新化:弥合抽象抽象机器和抽象定义口译员之间的差距(功能珍珠)
机译:第9届广义相对论和万有引力国际会议。讨论组的贡献论文摘要。卷。 2