Search Sciweavers | Sciweavers

12981 search results - page 285 / 2597

» Model Checking (Abstract)

click to vote

ENTCS
2006

122views more ENTCS 2006»

Abstract Effective Models

15 years 3 months ago

Download www.cs.tau.ac.il

Udi Boker, Nachum Dershowitz

claim paper

Read More »

119

Voted

IJCIS
2006

75views more IJCIS 2006»

Model-Driven Design, Refinement and Transformation of Abstract Interactions

15 years 3 months ago

Download www.inf.ufes.br

João Paulo A. Almeida, Remco M. Dijkman, Lu...

claim paper

Read More »

125

Voted

IGPL
2007

73views more IGPL 2007»

Fibred and Indexed Categories for Abstract Model Theory

15 years 3 months ago

Download www.inf.pucrs.br

Alfio Martini, Uwe Wolter, Edward Hermann Haeusler

claim paper

Read More »

118

Voted

TAP
2008
Springer

110views Hardware» more TAP 2008»

Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model

15 years 3 months ago

Download www.pietro.ferrara.name

Pietro Ferrara

claim paper

Read More »

Voted

APAL
2005

79views more APAL 2005»

Abstract State Machines: a unifying view of models of computation and of system design frameworks

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers