프로그램별 efsm.sf.net

반응성 또는 상태 형 시스템을 모델링하고 제어하는 데 사용할 수 있는 임베디드 유한 상태 기계(FSM) 시설입니다. 시스템은 여러 주에서 나타낼 수 있습니다. 상태 전환은 여러 이벤트에 의해 구동됩니다. eFSM은 C로 작성됩니다.