Search Sciweavers | Sciweavers

7380 search results - page 114 / 1476

» Engineering Software Intensive Systems

click to vote

TCAD
2010

111views more TCAD 2010»

Combining Control and Data Abstraction in the Verification of Hybrid Systems

13 years 5 months ago

Download pop-art.inrialpes.fr

Xavier Briand, Bertrand Jeannet

claim paper

Read More »

click to vote

FOSSACS
2010
Springer

165views Software Engineering» more FOSSACS 2010»

Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems

14 years 5 months ago

Download homepages.inf.ed.ac.uk

Anthony Widjaja To, Leonid Libkin

claim paper

Read More »

click to vote

FSTTCS
2009
Springer

113views Software Engineering» more FSTTCS 2009»

Deductive Verification of Continuous Dynamical Systems

14 years 4 months ago

Download www-cs-students.stanford.edu

Ankur Taly, Ashish Tiwari

claim paper

Read More »

click to vote

ISORC
2008
IEEE

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

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

14 years 4 months ago

Download pagesperso-systeme.lip6.fr

Fabrice Kordon

claim paper

Read More »

click to vote

CBSE
2007
Springer

87views Software Engineering» more CBSE 2007»

Monitoring Architectural Properties in Dynamic Component-Based Systems

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers