Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

6

ASE
2010

favoriteEmaildiscussreport

87views more ASE 2010»

Estimating the feasibility of transition paths in extended finite state machines

13 years 5 months ago

Estimating the feasibility of transition paths in extended finite state machines

Download www.dcs.kcl.ac.uk

Karnig Derderian, Robert M. Hierons, Mark Harman,

Real-time Traffic

ASE 2010 |

claim paper

Related Content

» Generating Feasible Transition Paths for Testing from an Extended Finite State Machine EFS...

» Exact Minimum Cycle Times for Finite State Machines

» On the testability of SDL specifications

» Testing a deterministic implementation against a noncontrollable nondeterministic stream X...

» Robot introspection through learned hidden Markov models

Post Info
More Details (n/a)

Added	08 Dec 2010
Updated	08 Dec 2010
Type	Journal
Year	2010
Where	ASE
Authors	Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo

Comments (0)