中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共2条，第1-2条 帮助

已选(0)清除 条数/页：   排序方式：
Auto-focus scanning surface plasmon resonance microscopy 期刊论文
OPTICS EXPRESS, 2025, 卷号: 33, 期号: 7, 页码: 16551-16561
作者:  Sun, Sheng;  Liu, Pengbin;  Hu, Jingfang;  Zhang, Lingqian;  Li, Mingxiao;  Lu, Xinchao;  Zhao, Yang;  Zhi, Tian;  Huang, Chengjun
收藏  |  浏览/下载：3/0  |  提交时间：2025/06/25
基于PVS的密码协议形式化规范 期刊论文
中国科学院研究生院学报, 2002, 卷号: 19.0, 期号: 003, 页码: 233
作者:  Zheng Yuan;  Hu Chengjun;  Lu Shuwang;  Shen Changxiang
收藏  |  浏览/下载：23/0  |  提交时间：2023/12/04
密码协议  形式化规范  PVS  规范语言  规范方法  加密系统  语义编码方式