上海科技大学知识管理系统(KMS): 检索

浏览/检索结果: 共4条，第1-4条

帮助

已选(0)清除条数/页：排序方式：
	Localized Explanations for Automatically Synthesized Network Configurations 会议论文 HOTNETS 2024: TWENTY-THIRD ACM WORKSHOP ON HOT TOPICS IN NETWORKS 作者: Amirmohammad, Nazari; Zhang YZ(张永政); Mukund, Raghothaman; Chen HX(陈浩贤) Adobe PDF(562Kb) \| 收藏 \| 浏览/下载：95/1 \| 提交时间：2024/09/27
	Verifying Declarative Smart Contracts 会议论文 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, Lisbon, Portugal, 2024-4-14 - 2024-4-19 作者: Chen, Haoxian; Lu, Lan; Massey, Brendan; Wang, Yuepeng; Loo, Boon Thau Adobe PDF(1059Kb) \| 收藏 \| 浏览/下载：161/1 \| 提交时间：2024/04/09 smart contracts, formal verification
	Interpretable Network Synthesis via Localized Specifications 会议论文 PROCEEDINGS OF THE 2024 SIGCOMM WORKSHOP ON FORMAL METHODS AIDED NETWORK OPERATION, FMANO 2024, null,Sydney,AUSTRALIA, AUG 04-08, 2024 作者: Chen, Haoxian Adobe PDF(554Kb) \| 收藏 \| 浏览/下载：72/2 \| 提交时间：2024/09/18 Network Synthesis Explanability Modular Reasoning
	Verifying Declarative Smart Contracts 会议论文 ARXIV, Lisbon, Portugal, 14-20 April 2024 作者: Chen, Haoxian; Lu, Lan; Massey, Brendan; Wang, Yuepeng; Loo, Boon Thau Adobe PDF(724Kb) \| 收藏 \| 浏览/下载：91/0 \| 提交时间：2024/06/03

上海科技大学知识管理系统