Synthesizing Formal Network Specifications From Input-Output Examples
Synthesizing Formal Network Specifications From Input-Output Examples
复制标题
从输入输出示例综合正式网络规范
DOI：
10.1109/tnet.2022.3208551
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Loo, Boon Thau
中科院分区：
文献类型：
--
作者：
Chen, Haoxian;Wu, Chenyuan;Zhao, Andrew;Raghothaman, Mukund;Naik, Mayur;Loo, Boon Thau
登录
查看更多内容
数据记录程序的来源引导综合
影响因子：
--
作者：
Mukund Raghothaman;Jonathan Mendelson;David Zhao;M. Naik;Bernhard Scholz
通讯作者：
Bernhard Scholz
影响因子：
5.6
作者：
Atul Singh;Tathagata Das;Petros Maniatis;P. Druschel;Timothy Roscoe
通讯作者：
Atul Singh;Tathagata Das;Petros Maniatis;P. Druschel;Timothy Roscoe
DOI：
10.24963/ijcai.2020/673
发表时间：
2020-02
期刊：
ArXiv
影响因子：
--
作者：
Andrew Cropper;Sebastijan Dumancic;Stephen Muggleton
通讯作者：
Andrew Cropper;Sebastijan Dumancic;Stephen Muggleton
迈向示例引导的网络综合
DOI：
--
发表时间：
2018
期刊：
Asia-Pacific Workshop on Networking
影响因子：
--
作者：
Haoxian Chen;Anduo Wang;B. T. Loo
通讯作者：
B. T. Loo
我确实声明：用逻辑语言达成共识
DOI：
--
发表时间：
2010
期刊：
OPSR
影响因子：
--
作者：
P. Alvaro;Tyson Condie;Neil Conway;J. Hellerstein;Russell Sears
通讯作者：
Russell Sears