Search Sciweavers | Sciweavers

1753 search results - page 39 / 351

» State Machines

117

click to vote

FORMATS
2006
Springer

98views Formal Methods» more FORMATS 2006»

Simulator for Real-Time Abstract State Machines

15 years 10 months ago

Download www.math.spbu.ru

Pavel Vasilyev

claim paper

Read More »

171

click to vote

APAQS
2001
IEEE

255views Software Engineering» more APAQS 2001»

Testable Use Cases in the Abstract State Machine Language

15 years 10 months ago

Download research.microsoft.com

Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte...

claim paper

Read More »

150

click to vote

FASE
2000
Springer

94views Software Engineering» more FASE 2000»

Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach

15 years 10 months ago

Download www.medien.ifi.lmu.de

Gianna Reggio, Egidio Astesiano, Christine Choppy,...

claim paper

Read More »

153

click to vote

APSEC
1995
IEEE

97views Software Engineering» more APSEC 1995»

Testing of Object-Oriented Programs Based on Finite State Machines

15 years 10 months ago

Download www.cs.drexel.edu

Hyoung Seok Hong, Yong Rae Kwon, Sung Deok Cha

claim paper

Read More »

102

click to vote

ICCAD
1995
IEEE

65views Hardware» more ICCAD 1995»

Symbolic hazard-free minimization and encoding of asynchronous finite state machines

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers