Search Sciweavers | Sciweavers

878 search results - page 8 / 176

» Interacting Abstract State Machines

155

click to vote

CALCO
2007
Springer

98views Mathematics» more CALCO 2007»

A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines

15 years 8 months ago

Download www2.informatik.hu-berlin.de

Andreas Glausch, Wolfgang Reisig

claim paper

Read More »

111

click to vote

DAGSTUHL
2007

95views Software Engineering» more DAGSTUHL 2007»

Composing Web-service-like abstract state machines (ASM)

15 years 8 months ago

Download drops.dagstuhl.de

Andreas Friesen, Jens Lemcke

claim paper

Read More »

138

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 8 months ago

Download subs.emis.de

Egon Börger

claim paper

Read More »

143

Voted

JUCS
2008

159views more JUCS 2008»

Simulation of Timed Abstract State Machines with Predicate Logic Model-Checking

15 years 7 months ago

Download www.jucs.org

Anatol Slissenko, Pavel Vasilyev

claim paper

Read More »

134

click to vote

JUCS
2008

148views more JUCS 2008»

A Metamodel-based Language and a Simulation Engine for Abstract State Machines

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers