Sciweavers

7311 search results - page 48 / 1463
» Time in State Machines
Sort
View
170
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
77
Voted
ICEIS
2008
IEEE
15 years 10 months ago
Semantics and Refinement of Behavior State Machines
Kevin Lano, David Clark
109
Voted
APSEC
2006
IEEE
15 years 9 months ago
Constructing Behavioral State Machine using Interface Protocol Specification
Osamu Shigo, Atsushi Okawa, Daiki Kato
124
Voted
ATS
2005
IEEE
100views Hardware» more  ATS 2005»
15 years 9 months ago
Finite State Machine Synthesis for At-Speed Oscillation Testability
In this paper, we propose an oscillation-based test methodology for sequential testing. This approach provides many advantages over traditional methods. (1) It is at-speed testing...
Katherine Shu-Min Li, Chung-Len Lee, Tagin Jiang, ...