Search Sciweavers | Sciweavers

10669 search results - page 200 / 2134

» Software - Implemented Self-healing System

163

click to vote

ICFEM
2007
Springer

107views Software Engineering» more ICFEM 2007»

A System Development Process with Event-B and the Rodin Platform

16 years 1 months ago

Download users.ecs.soton.ac.uk

Jean-Raymond Abrial

claim paper

Read More »

132

click to vote

ISSRE
2005
IEEE

89views Software Engineering» more ISSRE 2005»

Covering Transitions of Concurrent Systems through Queues

16 years 21 days ago

Download www.crim.ca

Jiale Huo, Alexandre Petrenko

claim paper

Read More »

114

click to vote

CBSE
2005
Springer

98views Software Engineering» more CBSE 2005»

A Contracting System for Hierarchical Components

16 years 19 days ago

Download fractal.ow2.org

Philippe Collet, Roger Rousseau, Thierry Coupaye, ...

claim paper

Read More »

170

Voted

FOSSACS
2005
Springer

106views Software Engineering» more FOSSACS 2005»

Model Checking Durational Probabilistic Systems

16 years 19 days ago

Download www.lsv.ens-cachan.fr

François Laroussinie, Jeremy Sproston

claim paper

Read More »

122

click to vote

FSTTCS
2005
Springer

99views Software Engineering» more FSTTCS 2005»

On Sampled Semantics of Timed Systems

16 years 19 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers