Search Sciweavers | Sciweavers

12333 search results - page 188 / 2467

» System Level Modelling for Hardware Software Systems

121

click to vote

AMAST
2004
Springer

85views Software Engineering» more AMAST 2004»

Model-Checking Systems with Unbounded Variables without Abstraction

15 years 11 months ago

Download users-tima.imag.fr

Magali Contensin, Laurence Pierre

claim paper

Read More »

108

Voted

APSEC
2002
IEEE

92views Software Engineering» more APSEC 2002»

Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems

15 years 11 months ago

Download www.win.tue.nl

Natalia Ioustinova, Natalia Sidorova, Martin Steff...

claim paper

Read More »

109

click to vote

KBSE
1998
IEEE

78views Software Engineering» more KBSE 1998»

Explanation-based Scenario Generation for Reactive System Models

15 years 10 months ago

Download ase.informatik.uni-essen.de

Robert J. Hall

claim paper

Read More »

135

click to vote

EUROMICRO
2009
IEEE

150views Software Engineering» more EUROMICRO 2009»

Multi-level Modeling for Industrial Automation Systems

15 years 9 months ago

Download embeddedcmmi.at

Thomas Aschauer, Gerd Dauenhauer, Wolfgang Pree

claim paper

Read More »

148

click to vote

CBSE
2008
Springer

125views Software Engineering» more CBSE 2008»

Model Checking of Control-User Component-Based Parametrised Systems

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers