Search Sciweavers | Sciweavers

15401 search results - page 138 / 3081

» Software in Automotive Systems

135

click to vote

WCRE
1998
IEEE

94views Software Engineering» more WCRE 1998»

Program Comprehension in Multi-Language Systems

15 years 10 months ago

Download www.uni-koblenz.de

Bernt Kullbach, Andreas Winter, Peter Dahm, Jü...

claim paper

Read More »

172

click to vote

RTSE
1997

107views Software Engineering» more RTSE 1997»

Abstraction and Modular Verification of Infinite-State Reactive Systems

15 years 10 months ago

Download react.cs.uni-sb.de

Zohar Manna, Michael Colón, Bernd Finkbeine...

claim paper

Read More »

129

click to vote

EMSOFT
2008
Springer

91views Software Engineering» more EMSOFT 2008»

State space abstraction for parameterized self-stabilizing embedded systems

15 years 8 months ago

Download users.eecs.northwestern.edu

Nikolaos D. Liveris, Hai Zhou, Robert P. Dick, Pri...

claim paper

Read More »

132

click to vote

IESA
2007

103views Software Engineering» more IESA 2007»

Towards Interoperable Healthcare Information Systems: The HL7 Conformance Profile Approach

15 years 8 months ago

Download www.itl.nist.gov

Robert Snelick, P. Rontey, Leonard Gebase, L. Carn...

claim paper

Read More »

134

click to vote

ADAEUROPE
2010
Springer

237views Software Engineering» more ADAEUROPE 2010»

Cache-Aware Development of High-Integrity Systems

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers