Institute of Computer Science, Warsaw University of Technology, Nowowiejska 15/19, 00-665 Warsaw, Poland;
automatic code generation; unix STREAMS; formal description techniques; estelle;
机译:Unix工具的POS正式规范
机译:使用流功能的优先队列的正式规范和实现
机译:基于模式的自动并行代码生成框架的正式规范和实现
机译:UNIX流从一个正式规格生成
机译:根据实时反应系统的正式规范自动生成测试。
机译:Ub-ISAP:简化的UNIX管道用于从下一代测序数据中挖掘独特的病毒载体整合位点
机译:UNIX流从一个正式规格生成