Search Sciweavers | Sciweavers

15401 search results - page 131 / 3081

» Software in Automotive Systems

148

click to vote

QSIC
2008
IEEE

147views Software Engineering» more QSIC 2008»

An Executable Interface Specification for Industrial Embedded System Design

16 years 26 days ago

Download alexandria.tue.nl

Jinfeng Huang, Jeroen Voeten, Serge Wolfs, Mark Co...

claim paper

Read More »

148

click to vote

EUROMICRO
2007
IEEE

149views Software Engineering» more EUROMICRO 2007»

Applying a Model-based Approach for Embedded System Development

16 years 25 days ago

Download swerl.tudelft.nl

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

claim paper

Read More »

125

click to vote

B
2007
Springer

156views Software Engineering» more B 2007»

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

16 years 20 days ago

Download www.cse.unsw.edu.au

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

claim paper

Read More »

110

click to vote

ASWEC
2006
IEEE

114views Software Engineering» more ASWEC 2006»

Model-based runtime analysis of distributed reactive systems

16 years 17 days ago

Download home.in.tum.de

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

claim paper

Read More »

141

click to vote

APSEC
2005
IEEE

95views Software Engineering» more APSEC 2005»

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

16 years 3 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers