Avaya Labs, Software Technology Research, 233 Mount Airy Road, Basking Ridge, NJ 07920, USA;
机译:协作规范语言
机译:将FSM的语言L〜*规范转换为语言L中的自动等效规范
机译:欺骗性语言工作台:语言和IDE的声明式规范的规则
机译:COSDL - 合作规范的实验语言
机译:通过中间规范语言FunZ从Z规范派生纯功能程序的形式化方法。
机译:系统生物学标记语言(SBML):3级版本2核心发行版2的语言规范
机译:CoSDL-一种用于协作规范的实验语言
机译:关于可靠实时系统规范的语言和符号,第4部分修订。要求和设计规范语言。正式定义