会议安排
会议安排技术资料下载专区,收录500份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。
资源总数
500
会议安排 热门资料
查看全部 500 份 →安全协议的CSP描述技术
基于进程代数的CSP 方法是一种重要的形式化协议分析验证方法。本文首先简单介绍了CSP 相关理论,并以NSPK 协议为例系统概述了安全协议的CSP 建模方法。为更好的查明协议的安全缺陷,重点研究如何在
2024-05-09
5
采用面向对象方法和JAVA语言开发一个基于命令行交互方式的议程管理系统。已注册到系统的用户可添加、删除、查询系统中记录的会议安排
采用面向对象方法和JAVA语言开发一个基于命令行交互方式的议程管理系统。已注册到系统的用户可添加、删除、查询系统中记录的会议安排,还提供新用户注册、清除某一用户所有会议安排等管理功能。
2015-08-12
23