Sciweavers

1753 search results - page 32 / 351
» State Machines
Sort
View
171
Voted
FM
2009
Springer
116views Formal Methods» more  FM 2009»
15 years 10 months ago
Language and Tool Support for Class and State Machine Refinement in UML-B
Mar Yah Said, Michael J. Butler, Colin F. Snook