01825na  a2200409   4500001001300000005001500013007000300028008004100031040001100072052003600083245027500119300002200394545003100416545007100447545004500518545007000563545007500633545007000708545007300778653009900851700001900950700001400969700001400983700004800997700001401045700004801059700003601107773012701143856002101270900001701291900001701308900001801325900001701343900001901360900001901379900001701398KSI00084085220100828112401ta100817s2004    ulk           000   kor    a01100101a569.905b한613ㅈc22(5)-22(8)00a정형 검증과 시험에 의한 원전 계측제어용 임베디드 소프트웨어의 개발 =xDevelopment of formal verification and testing procedure for the embedded I&C software /d이나영,e김진현,e안영아,e최진영,e성아영,e최병주,e이장수  ap. 43-49 ;c26 cm  a이나영, 서울대학교  a김진현, 학생회원, 고려대학교bjhkim@formal.korea.ac.kr  a안영아, 학생회원, 고려대학교  a최진영, 종신회원, 고려대학교bchoi@formal.korea.ac.kr  a성아영, 학생회원, 이화여자대학교bwishmoon@mm.ewha.ac.kr  a최병주, 종신회원, 이화여자대학교bbjchoi@ewha.ac.kr  a이장수, 종신회원, 한국원자력연구소bjslee@kaeri.re.kr  a디지털 원전 보호 계통 설비a안전 필수 계통aPLCaProgramable logic controller1 a이나영4aut1 a김진현1 a안영아1 a최진영,g崔振榮,d1959-0KAC2018275051 a성아영1 a최병주,g崔炳珠,d1959-0KAC2018264291 a이장수,d1960-0KAC2018462630 t정보과학회지.d한국정보과학회.g22권 6호(2004년 6월), p. 43-49q22:6<43w(011001)KSE199508739,x1229-682140u82298941aKd00010aLee, Nayoung10aKim, Jinhyun10aSung, Ahyoung10aAhn, Youngah10aChoi, Jinyoung10aChoi, Byoungju10aLee, Jangsoo