scholarly journals On Transition Time Testing based on Extended Finite State Machines

1995 ◽  
pp. 79-94
Author(s):  
Sijian Zhang ◽  
Samuel T. Chanson
Keyword(s):  
Finite State Machines ◽  
Transition Time ◽  
State Machines ◽  
Finite State ◽  
Extended Finite State Machines

scholarly journals An Algorithm for Compositional Nonblocking Verification of Extended Finite-State Machines

2014 ◽  
Vol 47 (2) ◽  
pp. 376-382 ◽  
Author(s):  
Sahar Mohajerani ◽  
Robi Malik ◽  
Martin Fabian
Keyword(s):  
Finite State Machines ◽  
State Machines ◽  
Finite State ◽  
Extended Finite State Machines
Sign in / Sign up

Export Citation Format

Share Document