Formalization of fFSM Model and Its Verification

Embedded Software and Systems - Lecture Notes in Computer Science ◽

10.1007/11599555_35 ◽

2005 ◽

pp. 361-372 ◽

Cited By ~ 1

Author(s):

Sachoun Park ◽

Gihwon Kwon ◽

Soonhoi Ha

Download Full-text