菜单
关于联系人(&C)
反馈
贡献
帮助
兹马思
swMATH公司
搜索
高级搜索
浏览
搜索
软件名称
软件作者
软件说明
关键词
程序设计语言
理学硕士分类
高级搜索
清除
按名称浏览软件
按关键字浏览软件
通过MSC浏览软件
按类型浏览软件
结果1至15
15
姓名
关联
排序依据:
萨夫卡西
引用5篇文章
[sw20431]
萨夫卡西:A
安全
机制
语言
-
基于
系统。
为了运行不受信任的代码。。。
与实际成果的关系不明确
安全
,过度约束了Java系统的实现。。。
BCiC公司
1条引用
[sw26749]
验证和验证组合的代码
语言
-
基于
具有公钥签名方法。。。
信任关系。
BCiC集成了粘合剂
安全
语言
用(Co)归纳结构的微积分。。。
旋转
引用712篇文章
[sw03455]
Spin是一个流行的开源软件工具。。。
AspectJ公司
引用130篇文章
[sw04426]
面向方面的Java扩展。
AspectJ TM。。。
JavaScript
引用159篇文章
[sw06868号]
JavaScript是一种脚本
语言
对于计算机。
它。。。
贝博普
引用74篇文章
[sw08928号]
一个布尔程序的符号模型检查器。。。
乌姆德斯
引用了359篇文章
[sw09523]
UMDES软件库:UMDES-LIB是一个库。。。
拖把
引用23条
[sw10117]
MOPS:一种用于检查的基础设施
安全
属性。。。
典范
引用9篇文章
[sw13306]
信息流控制实用程序设计的典范。。。
TS公司#
引用3篇文章
[sw14208]
逐步键入嵌入
安全地
在JavaScript中。。。
我们呈现。。。
羽状爪哇
引用了91篇文章
[sw16204]
轻量级Java:Java的最小核心微积分。。。
Jif公司
引用18条
[sw16478号]
Jif:Java信息流。
Jif是一个
安全
...
德卡尔
引用18条
[sw20094]
分布式知识授权
语言
)是一个分布式的。。。
JFlow公司
引用25篇文章
【sw20595】
JFlow:实用的主要是静态的信息流控制。
A、 。。。
ZKPDL公司
引用2篇文章
[sw30793]
ZKPDL:a公司
语言
-
基于
零效率系统。。。
共1页第1页