Sciweavers

7311 search results - page 48 / 1463

» Time in State Machines

13

FM
2009
Springer

116views Formal Methods» more FM 2009»

Language and Tool Support for Class and State Machine Refinement in UML-B

14 years 2 months ago

Language and Tool Support for Class and State Machine Refinement in UML-B

Download eprints.ecs.soton.ac.uk

Mar Yah Said, Michael J. Butler, Colin F. Snook

claim paper

Read More »

19

APSCC
2008
IEEE

131views Applied Computing» more APSCC 2008»

Abstract State Machine Models for Basic Service-Oriented Architectures

14 years 1 months ago

Abstract State Machine Models for Basic Service-Oriented Architectures

Download work.thekirchbergs.info

Markus Kirchberg

claim paper

Read More »

14

ICEIS
2008
IEEE

66views Information Technology» more ICEIS 2008»

Semantics and Refinement of Behavior State Machines

14 years 1 months ago

Semantics and Refinement of Behavior State Machines

Download www.dcs.kcl.ac.uk

Kevin Lano, David Clark

claim paper

Read More »

22

APSEC
2006
IEEE

124views Software Engineering» more APSEC 2006»

Constructing Behavioral State Machine using Interface Protocol Specification

14 years 1 months ago

Constructing Behavioral State Machine using Interface Protocol Specification

Download www.se.sie.dendai.ac.jp

Osamu Shigo, Atsushi Okawa, Daiki Kato

claim paper

Read More »

24

ATS
2005
IEEE

100views Hardware» more ATS 2005»

Finite State Machine Synthesis for At-Speed Oscillation Testability

14 years 1 months ago

Finite State Machine Synthesis for At-Speed Oscillation Testability

Download edat1.cse.nsysu.edu.tw

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, ...

claim paper

Read More »

« Prev « First page 48 / 1463 Last » Next »