安全計(jì)算機(jī)通信管理機(jī)制的形式化驗(yàn)證與實(shí)現(xiàn)
2016-08-16 03:20:40梁靚,曹源,馬連川等
通信學(xué)報(bào) 2016年11期
關(guān)鍵詞：管理機(jī)制計(jì)算機(jī)
猜你喜歡
建材發(fā)展導(dǎo)向(2022年2期)2022-03-08 01:43:56
小學(xué)科學(xué)(學(xué)生版)(2021年7期)2021-07-28 06:44:42
趣味(數(shù)學(xué))(2020年9期)2020-06-09 05:35:08
現(xiàn)代經(jīng)濟(jì)信息(2020年34期)2020-06-08 06:02:04
航天工業(yè)管理(2020年2期)2020-04-21 05:27:22
科技傳播(2019年22期)2020-01-14 03:06:34
科技傳播(2019年22期)2020-01-14 03:06:30
鐵道通信信號(hào)(2019年6期)2019-10-08 09:02:32
消費(fèi)導(dǎo)刊(2017年20期)2018-01-03 06:26:40
中國(guó)房地產(chǎn)業(yè)(2016年2期)2016-03-01 01:25:16
