Sciweavers

1916 search results - page 44 / 384
» Reconfiguring a state machine
Sort
View
65
Voted
ATAL
2009
Springer
15 years 9 months ago
Online and onboard evolution of robotic behavior using finite state machines
Lukas König, Sanaz Mostaghim, Hartmut Schmeck
FM
2009
Springer
116views Formal Methods» more  FM 2009»
15 years 9 months ago
Language and Tool Support for Class and State Machine Refinement in UML-B
Mar Yah Said, Michael J. Butler, Colin F. Snook
73
Voted
ICEIS
2008
IEEE
15 years 9 months ago
Semantics and Refinement of Behavior State Machines
Kevin Lano, David Clark
104
Voted
APSEC
2006
IEEE
15 years 8 months ago
Constructing Behavioral State Machine using Interface Protocol Specification
Osamu Shigo, Atsushi Okawa, Daiki Kato