• 首页
  • 每日更新
  • 文献
  • 会议文献
  • 政策法规
  • 研究专题
  • 区块链游戏
logo 区块链前沿
  • 区块链前沿
  • 首页
  • 每日更新
  • 文献
  • 会议文献
  • 政策法规
  • 研究专题
  • 区块链游戏
  • 文章创新角色
  • 科研创新指数
  • 区块链领域本体
  • 热点主题挖掘
  • 主题展示
  • 专利文献
  • 排行榜
  • DAO治理
  • 文献上传
  • 积分获取规则
  • 大语言模型解析
  • 期刊发文分布
注册 登录

Korea Aerosp Univ

机构作者

Ali, Furqan

文献数量:1

Bacha, Jamshid

文献数量:1

Khan, Jebran

文献数量:1

Khan, Junaid Iqbal

文献数量:1

Kil, Hyunyoung

文献数量:1

Lee, Sungchang

文献数量:1

机构文献 共2篇

Artificial Intelligence and Internet of Things (AI-IoT) Technologies in Response to COVID-19 Pandemic: A Systematic Review[J]

IEEE ACCESS

  • 2022(10)
  • Khan, Junaid Iqbal Khan, Jebran Ali, Furqan Ullah, Farman Bacha, Jamshid Lee, Sungchang

Formal Verification of Blockchain Smart Contracts via ATL Model Checking[J]

IEEE ACCESS

  • 2022(10)
  • Nam, Wonhong Kil, Hyunyoung

备案号: 苏ICP备17025947号-5

评论回复