인쇄

중부대학교 도서관

도서명 : FSM의 행위 일치 알고리즘을 이용한
임베디드 시스템의 합성적 안전성 분석 기법 : Compositional Safety Analysis for Embedded Systems using the FSM Behavioral Equivalence Algorithm