Formalization of <i>f</i>FSM Model and Its Verification.

Sachoun Park Gihwon Kwon Soonhoi Ha Formalization of <i>f</i>FSM Model and Its Verification. 361-372 2005 conf/icess/2005 ICESS http://dx.doi.org/10.1007/11599555_35 db/conf/icess/icess2005.html#ParkKH05