SSCI'21に論文が採録されました

  • Oct 04, 2021

当研究室の論文がSSCI'21に採録されました

OACAL: Finding Module-consistent Specifications to Secure Systems from Weakened User Obligations

  • Pengcheng Jiang, Kenji Tei
  • 2021 IEEE Symposium Series on Computational Intelligence (SSCI 2021), 2021 (to appear)