• 并发传值系统 - 引用次数：4

  This thesis describes the implementation of a graphical user interface for an automated proof tool for message-passing concurrent system. The main work includes:Programming a graphical user interface for the tool using Motif toolkit.

  本文介绍一个并发传值系统自动验证工具图形用户界面的实现，主要工作如下：使用Motif标准图形界面开发工具包实现工具的图形用户界面窗口。

  参考来源 - 一个并发传值系统自动验证工具的图形界面实现

·2,447,543篇论文数据，部分数据来源于NoteExpress