University of Toronto (Canada).;
机译:datAcron本体,用于语义轨迹规范,用于支持可视化分析的数据转换的语义轨迹规范
机译:语义规范和数据流程图的验证
机译:基于Object-Z和状态图的异构形式规范:语义和验证
机译:复制系统中并发库的语义,规范和边界验证
机译:使用算法和数据依赖性验证业务流程规范。
机译:化学实体语义规范:有效的语义化学信息学和便捷的数据集成的知识表示
机译:通过语义任务规范连接以任务为中心与以人工为中心的模型及其在形式验证中的应用
机译:基于消息传递语义的并行程序规范与验证技术。