Search Sciweavers | Sciweavers

12981 search results - page 284 / 2597

» Model Checking and Abstraction

144

click to vote

ECMDAFA
2010
Springer

135views Hardware» more ECMDAFA 2010»

Adding Abstraction and Reuse to a Network Modelling Tool Using the Reuseware Composition Framework

15 years 7 months ago

Download reuseware.org

Jendrik Johannes, Miguel A. Fernández

claim paper

Read More »

146

click to vote

EPEW
2010
Springer

172views Internet Technology» more EPEW 2010»

Compositional Abstraction of PEPA Models for Transient Analysis

15 years 7 months ago

Download lanther.co.uk

Michael J. A. Smith

claim paper

Read More »

165

click to vote

BRAIN
2010
Springer

149views Information Technology» more BRAIN 2010»

Behavioural Abstraction of Agent Models Addressing Mutual Interaction of Cognitive and Affective Processes

15 years 7 months ago

Download www.few.vu.nl

Alexei Sharpanskykh, Jan Treur

claim paper

Read More »

click to vote

CORR
2010
Springer

52views Education» more CORR 2010»

Syntactic Abstraction of B Models to Generate Tests

15 years 6 months ago

Download hal.archives-ouvertes.fr

Jacques Julliand, Nicolas Stouls, Pierre-Christoph...

claim paper

Read More »

166

click to vote

CONSTRAINTS
2008

70views more CONSTRAINTS 2008»

Introduction to the Special Issue on Abstraction and Automation in Constraint Modelling

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers