ZUM ’98: The Z Formal Specification Notation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

25
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540650706, 9783540496762
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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
Load More ...
Sign in / Sign up

Export Citation Format

Share Document