scholarly journals Formal Derivation of Finite State Machines for Class Testing

1998 ◽  
pp. 42-59 ◽  
Author(s):  
Leesa Murray ◽  
David Carrington ◽  
Ian MacColl ◽  
Jason McDonald ◽  
Paul Strooper
Keyword(s):  
Finite State Machines ◽  
State Machines ◽  
Formal Derivation ◽  
Class Testing ◽  
Finite State

scholarly journals Formal derivation of finite state machines for class testing

2006 ◽  
pp. 42-59 ◽  
Author(s):  
Leesa Murray ◽  
David Carrington ◽  
Ian MacColl ◽  
Jason McDonald ◽  
Paul Strooper
Keyword(s):  
Finite State Machines ◽  
State Machines ◽  
Formal Derivation ◽  
Class Testing ◽  
Finite State
Sign in / Sign up

Export Citation Format

Share Document