Search Sciweavers | Sciweavers

1116 search results - page 6 / 224

» Applying Predicate Abstraction to Abstract State Machines

100

click to vote

ASM
1998
ASM

92views Computational Biology» more ASM 1998»

A Sound and Complete SOS-Semantics for Non-Distributed Deterministic Abstract State Machines

15 years 10 months ago

Download www.eecs.umich.edu

Hans Tonino

claim paper

Read More »

126

click to vote

FDL
2004
IEEE

144views Natural Language Processing» more FDL 2004»

Enabling SystemC Verification using Abstract State Machines

15 years 9 months ago

Download hvg.ece.concordia.ca

Amjad Gawanmeh, Ali Habibi, Sofiène Tahar

claim paper

Read More »

108

click to vote

FORMATS
2006
Springer

98views Formal Methods» more FORMATS 2006»

Simulator for Real-Time Abstract State Machines

15 years 9 months ago

Download www.math.spbu.ru

Pavel Vasilyev

claim paper

Read More »

130

click to vote

CALCO
2007
Springer

98views Mathematics» more CALCO 2007»

A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines

15 years 7 months ago

Download www2.informatik.hu-berlin.de

Andreas Glausch, Wolfgang Reisig

claim paper

Read More »

click to vote

DAGSTUHL
2007

95views Software Engineering» more DAGSTUHL 2007»

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

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers