Search Sciweavers | Sciweavers

15727 search results - page 68 / 3146

» Software Engineering - Introduction

click to vote

EMSOFT
2009
Springer

93views Software Engineering» more EMSOFT 2009»

Formal and executable contracts for transaction-level modeling in SystemC

15 years 11 months ago

Download www-verimag.imag.fr

Tayeb Bouhadiba, Florence Maraninchi, Giovanni Fun...

claim paper

Read More »

107

click to vote

EMSOFT
2009
Springer

84views Software Engineering» more EMSOFT 2009»

SyncCharts in C: a proposal for light-weight, deterministic concurrency

15 years 11 months ago

Download rtsys.informatik.uni-kiel.de

Reinhard von Hanxleden

claim paper

Read More »

109

click to vote

EMSOFT
2009
Springer

85views Software Engineering» more EMSOFT 2009»

Modeling synchronous systems in BIP

15 years 11 months ago

Download www-verimag.imag.fr

Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis

claim paper

Read More »

click to vote

FSEN
2009
Springer

118views Software Engineering» more FSEN 2009»

Towards a Notion of Unsatisfiable Cores for LTL

15 years 11 months ago

Download www.schuppan.de

Viktor Schuppan

claim paper

Read More »

122

click to vote

ICFEM
2009
Springer

114views Software Engineering» more ICFEM 2009»

European Train Control System: A Case Study in Formal Verification

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers