Search Sciweavers | Sciweavers

10669 search results - page 77 / 2134

» Software - Implemented Self-healing System

141

click to vote

EUROMICRO
2007
IEEE

149views Software Engineering» more EUROMICRO 2007»

Applying a Model-based Approach for Embedded System Development

16 years 9 days ago

Download swerl.tudelft.nl

Christian Bunse, Hans-Gerhard Groß, Christia...

claim paper

Read More »

119

click to vote

B
2007
Springer

156views Software Engineering» more B 2007»

The B-Method for the Construction of Microkernel-Based Systems

16 years 4 days ago

Download www.cse.unsw.edu.au

Sarah Hoffmann, Germain Haugou, Sophie Gabriele, L...

claim paper

Read More »

105

click to vote

ASWEC
2006
IEEE

114views Software Engineering» more ASWEC 2006»

Model-based runtime analysis of distributed reactive systems

16 years 1 days ago

Download home.in.tum.de

Andreas Bauer 0002, Martin Leucker, Christian Scha...

claim paper

Read More »

128

Voted

APSEC
2005
IEEE

95views Software Engineering» more APSEC 2005»

A Lightweight Integration of Theorem Proving and Model Checking for System Verification

15 years 11 months ago

Download www.jaist.ac.jp

Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, ...

claim paper

Read More »

124

click to vote

FASE
2005
Springer

101views Software Engineering» more FASE 2005»

Automated Compositional Proofs for Real-Time Systems

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers