vix.ing · top · new · best · stats · spec

Bae, Kyungmin

  1. Formal Analysis of Networked PLC Controllers Interacting with Physical Environments
    2025/07/21 by Lee, Jaeseo, Bae, Kyungmin · 1 citation
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)