Search Sciweavers | Sciweavers

12981 search results - page 284 / 2597

» Model Checking (Abstract)

102

click to vote

EPEW
2010
Springer

172views Internet Technology» more EPEW 2010»

Compositional Abstraction of PEPA Models for Transient Analysis

15 years 4 months ago

Download lanther.co.uk

Michael J. A. Smith

claim paper

Read More »

122

Voted

BRAIN
2010
Springer

149views Information Technology» more BRAIN 2010»

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

15 years 3 months ago

Download www.few.vu.nl

Alexei Sharpanskykh, Jan Treur

claim paper

Read More »

Voted

CORR
2010
Springer

52views Education» more CORR 2010»

Syntactic Abstraction of B Models to Generate Tests

15 years 3 months ago

Download hal.archives-ouvertes.fr

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

claim paper

Read More »

127

Voted

CONSTRAINTS
2008

70views more CONSTRAINTS 2008»

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

15 years 3 months ago

Download www.crt.umontreal.ca

Alan M. Frisch, Ian Miguel

claim paper

Read More »

Voted

CORR
2010
Springer

54views Education» more CORR 2010»

A Simple Abstraction for Data Modeling

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers