Search Sciweavers | Sciweavers

19587 search results - page 109 / 3918

» Systems Engineering for software Engineers

143

click to vote

TCAD
2010

111views more TCAD 2010»

Combining Control and Data Abstraction in the Verification of Hybrid Systems

15 years 1 months ago

Download pop-art.inrialpes.fr

Xavier Briand, Bertrand Jeannet

claim paper

Read More »

147

click to vote

FOSSACS
2010
Springer

165views Software Engineering» more FOSSACS 2010»

Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems

16 years 1 months ago

Download homepages.inf.ed.ac.uk

Anthony Widjaja To, Leonid Libkin

claim paper

Read More »

126

click to vote

FSTTCS
2009
Springer

113views Software Engineering» more FSTTCS 2009»

Deductive Verification of Continuous Dynamical Systems

16 years 29 days ago

Download www-cs-students.stanford.edu

Ankur Taly, Ashish Tiwari

claim paper

Read More »

156

click to vote

ISORC
2008
IEEE

78views Distributed And Parallel Com...» more ISORC 2008»

Design Methodologies for Embedded Systems: Where is the Super-Glue?

16 years 23 days ago

Download pagesperso-systeme.lip6.fr

Fabrice Kordon

claim paper

Read More »

141

click to vote

CBSE
2007
Springer

87views Software Engineering» more CBSE 2007»

Monitoring Architectural Properties in Dynamic Component-Based Systems

16 years 17 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers