机译:系统生物学标记语言(SBML):3级版本2核心版本2的语言规范
机译:系统生物学标记语言(SBML):3级版本1核心的语言规范
机译:系统生物学标记语言(SBML):3级版本1核心的语言规范
机译:ASSL - 自主系统规范语言
机译:分布式多处理器系统的规范和运行时验证:语言,工具和体系结构。
机译:系统生物学标记语言(SBML):3级版本2核心发行版2的语言规范
机译:具有ASSL的分布式MARF自治规范中的自优化属性
机译:关于可靠实时系统规范的语言和符号,第4部分修订。要求和设计规范语言。正式定义