Search Sciweavers | Sciweavers

8623 search results - page 174 / 1725

» Software engineering for secure systems

click to vote

CBSE
2007
Springer

87views Software Engineering» more CBSE 2007»

Monitoring Architectural Properties in Dynamic Component-Based Systems

14 years 3 months ago

Download goanna.cs.rmit.edu.au

Henry Muccini, Andrea Polini, Fabiano Ricci, Anton...

claim paper

Read More »

click to vote

ICFEM
2007
Springer

107views Software Engineering» more ICFEM 2007»

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

14 years 3 months ago

Download users.ecs.soton.ac.uk

Jean-Raymond Abrial

claim paper

Read More »

click to vote

ISSRE
2005
IEEE

89views Software Engineering» more ISSRE 2005»

Covering Transitions of Concurrent Systems through Queues

14 years 3 months ago

Download www.crim.ca

Jiale Huo, Alexandre Petrenko

claim paper

Read More »

click to vote

FOSSACS
2005
Springer

106views Software Engineering» more FOSSACS 2005»

Model Checking Durational Probabilistic Systems

14 years 3 months ago

Download www.lsv.ens-cachan.fr

François Laroussinie, Jeremy Sproston

claim paper

Read More »

click to vote

FSTTCS
2005
Springer

99views Software Engineering» more FSTTCS 2005»

On Sampled Semantics of Timed Systems

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers