Sciweavers

1916 search results - page 44 / 384
» Reconfiguring a state machine
Sort
View
FM
2009
Springer
116views Formal Methods» more  FM 2009»
14 years 2 months ago
Language and Tool Support for Class and State Machine Refinement in UML-B
Mar Yah Said, Michael J. Butler, Colin F. Snook