Search Sciweavers | Sciweavers

19587 search results - page 42 / 3918

» Systems Engineering for software Engineers

132

click to vote

B
2007
Springer

156views Software Engineering» more B 2007»

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

16 years 1 months ago

Download www.cse.unsw.edu.au

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

claim paper

Read More »

126

click to vote

ASWEC
2006
IEEE

114views Software Engineering» more ASWEC 2006»

Model-based runtime analysis of distributed reactive systems

16 years 1 months ago

Download home.in.tum.de

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

claim paper

Read More »

153

Voted

APSEC
2005
IEEE

95views Software Engineering» more APSEC 2005»

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

16 years 19 days ago

Download www.jaist.ac.jp

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

claim paper

Read More »

137

click to vote

FASE
2005
Springer

101views Software Engineering» more FASE 2005»

Automated Compositional Proofs for Real-Time Systems

16 years 16 days ago

Download se.ethz.ch

Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Ange...

claim paper

Read More »

163

click to vote

VMCAI
2005
Springer

65views Software Engineering» more VMCAI 2005»

Scalable Analysis of Linear Systems Using Mathematical Programming

16 years 15 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers