Search Sciweavers | Sciweavers

31387 search results - page 166 / 6278

» Abstracts

134

click to vote

SAS
2005
Springer

84views Formal Methods» more SAS 2005»

Locality-Based Abstractions

15 years 12 months ago

Download www.ulb.ac.be

Javier Esparza, Pierre Ganty, Stefan Schwoon

claim paper

Read More »

109

click to vote

SAS
2005
Springer

99views Formal Methods» more SAS 2005»

A Relational Abstraction for Functions

15 years 12 months ago

Download www.irisa.fr

Bertrand Jeannet, Denis Gopan, Thomas W. Reps

claim paper

Read More »

116

click to vote

SAS
2005
Springer

117views Formal Methods» more SAS 2005»

The PER Model of Abstract Non-interference

15 years 12 months ago

Download www.soi.city.ac.uk

Sebastian Hunt, Isabella Mastroeni

claim paper

Read More »

106

click to vote

SEKE
2005
Springer

78views Software Engineering» more SEKE 2005»

Generating Abstract User Interfaces from an Informal Design

15 years 12 months ago

Download www.isys.ucl.ac.be

Adrien Coyette, Jean Vanderdonckt, Stéphane...

claim paper

Read More »

130

click to vote

SPIN
2005
Springer

96views Theoretical Computer Science» more SPIN 2005»

Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers