Search Sciweavers | Sciweavers

4290 search results - page 40 / 858

» Formal Approaches to Teamwork

159

click to vote

FSS
2008

87views more FSS 2008»

Triangle algebras: A formal logic approach to interval-valued residuated lattices

15 years 6 months ago

Download www.cwi.ugent.be

In this paper, we introduce triangle algebras: a variety of residuated lattices equipped with approximation operators, and with a third angular point u, different from 0

Bart Van Gasse, Chris Cornelis, Glad Deschrijver, ...

claim paper

Read More »

click to vote

COMPUTER
2006

53views more COMPUTER 2006»

A Formal Methods Approach to Medical Device Review

15 years 6 months ago

Download www4.ncsu.edu

Raoul Praful Jetley, S. Purushothaman Iyer, Paul L...

claim paper

Read More »

111

click to vote

CORR
2006
Springer

78views Education» more CORR 2006»

A Formal Architecture-Centric Model-Driven Approach for the Automatic Generation of Grid Applications

15 years 6 months ago

Download univ.herveverjus.com

David Manset, Hervé Verjus, Richard McClatc...

claim paper

Read More »

136

click to vote

JAR
2010

82views more JAR 2010»

A Formal Logic Approach to Constrained Combinatorial Testing

15 years 4 months ago

Download tarot2010.ist.tugraz.at

Andrea Calvagna, Angelo Gargantini

claim paper

Read More »

134

click to vote

SAS
2010
Springer

126views Formal Methods» more SAS 2010»

From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers