...
机译:QSL:电子问卷,电子测试和电子投票系统的规范语言
机译:系统生物学标记语言(SBML):3级版本2核心版本2的语言规范
机译:系统生物学标记语言(SBML):3级版本1核心的语言规范
机译:系统生物学标记语言(SBML):3级版本1核心的语言规范
机译:评估QSL的描述能力:电子问卷,电子测试和电子投票系统的规范语言
机译:分布式多处理器系统的规范和运行时验证:语言,工具和体系结构。
机译:系统生物学标记语言(SBML):3级版本2核心发行版2的语言规范
机译:离散事件系统模块化控制中通用规范语言的超级子语言
机译:关于可靠实时系统规范的语言和符号,第4部分修订。要求和设计规范语言。正式定义