Formal Verification of Controller Synthesis Based on Incompletely Specified Finite State Machine Model

2008 ◽  
Author(s):  
Wei Li ◽  
Zhengyi Liu ◽  
Ying Lu ◽  
Jianguo Wu
Keyword(s):  
Formal Verification ◽  
Finite State Machine ◽  
State Machine ◽  
Controller Synthesis ◽  
Machine Model ◽  
Finite State

Reliable Web Services Selection Based on Finite State Machine Model

2011 ◽  
Vol 10 (9) ◽  
pp. 1662-1672 ◽  
Author(s):  
Hongjie Shen ◽  
Zhijun Ding ◽  
Hongzhong Chen
Keyword(s):  
Web Services ◽  
Finite State Machine ◽  
State Machine ◽  
Machine Model ◽  
Finite State

Formal Verification of Distributed Master-Slave Finite State Machine

2021 ◽  
Author(s):  
Marko Popovic ◽  
Vladimir Marinkovic ◽  
Miodrag Djukic ◽  
Miroslav Popovic
Keyword(s):  
Formal Verification ◽  
Finite State Machine ◽  
State Machine ◽  
Finite State

First aid simulation game with finite state machine model

2015 ◽  
Author(s):  
Rosalina Eka Dianty ◽  
Alfian M. Azhari ◽  
M. Faris Al Hakim ◽  
Imam Kuswardayan ◽  
Anny Yuniarti ◽  
...  
Keyword(s):  
Finite State Machine ◽  
First Aid ◽  
State Machine ◽  
Simulation Game ◽  
Machine Model ◽  
Finite State
Sign in / Sign up

Export Citation Format

Share Document