📚 形式化技术资料

📦 资源总数：53
💻 源代码：48

🔥 形式化热门资料

查看全部53个资源 »

算符优先 根据形式化算法，编制程序实现一个算符优先分析器，能对常见的算术表达式语句进行分析。 要求实现以下功能： 1) 组织算术表达式的输入； 2) 组织算符优先关系表或者优先函数的输入； 3) 若输入的符号串是一个算术表达式语句，则输出一个分析树骨架（既每一步规约用到的最左素短语），否则输...

👤 asddsd ⬇️ 172 次下载
算法

CO RBA为构建大规模分布式应用程序提供了一套公共对象服务规范，其规范主要以IDL语只提供对象的静态行为描述.提出并应用扩展有色Petri网对CORBA对象进行形式化模拟和分析，结果表明扩展有色和动态行为....

⬇️ 3 次下载
corba规范

介绍了现有的常用身份认证方法，分析了其安全性和不足之处，针对安全性和效率问题，提出了一种可实现快速安全认证的一种新协议，并使用协议组合逻辑形式化分析了新协议的安全性和新协议的效率，结果证明该协...

⬇️ 7 次下载
安全认证 协议

💻 形式化源代码

查看更多 »
💻
第9章 形式化方法.ppt
💻
软件工程中形式化方法研究.nh
💻
第四章 形式化说明技术.ppt
💻
tjm08第4章形式化说明技术.ppt
💻
c.c
💻
c.c
📂 形式化资料分类
🔥 热门资料 查看最受欢迎的资源 💻 源代码 程序代码与工程文件 📚 全部资料 53 个资源