국제학술지
Symbolic Verification of Control Systems and Operating Procedures
Blake C.Rawlings, Jinkyung Kim, Il Moon and B. Erik Ydstie, “Symbolic Verification of Control Systems and Operating Procedures”, Industrial and Engineering Chemistry Research, Vol. 53, Issue 13, pp. 5299-5310, 2014.
저널
DOI
Impact factor
이전글
