Search Sciweavers | Sciweavers

7311 search results - page 57 / 1463

» Time in State Machines

146

click to vote

PTS
2008

80views Hardware» more PTS 2008»

Generating Checking Sequences for Partial Reduced Finite State Machines

15 years 7 months ago

Download www.crim.ca

The problem of generating checking sequences for FSMs with distinguishing sequence has been attracting interest of researchers for several decades. In this paper, a solution is pro...

Adenilso da Silva Simão, Alexandre Petrenko

claim paper

Read More »

100

click to vote

DAGSTUHL
2004

75views Software Engineering» more DAGSTUHL 2004»

Finite State Machines

15 years 7 months ago

Download www.spinroot.com

Bengt Jonsson

claim paper

Read More »

124

click to vote

MODELLIERUNG
2004

59views Software Engineering» more MODELLIERUNG 2004»

Modeling with Abstract State Machines: A support for accurate system design and analysis

15 years 7 months ago

Download subs.emis.de

Egon Börger

claim paper

Read More »

109

click to vote

BIRTHDAY
2010
Springer

136views Applied Computing» more BIRTHDAY 2010»

Computer Science and State Machines

15 years 7 months ago

Download research.microsoft.com

Leslie Lamport

claim paper

Read More »

108

click to vote

ASE
2010

87views more ASE 2010»

Estimating the feasibility of transition paths in extended finite state machines

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers