Search Sciweavers | Sciweavers

10275 search results - page 218 / 2055

» Case Studies of Autonomy

131

click to vote

CAV
1997
Springer

81views Hardware» more CAV 1997»

STARI: A Case Study in Compositional and Hierarchical Timing Verification

15 years 10 months ago

Download network.ku.edu.tr

Serdar Tasiran, Robert K. Brayton

claim paper

Read More »

148

click to vote

COORDINATION
1997
Springer

98views Distributed And Parallel Com...» more COORDINATION 1997»

Modeling Railway Control Systems Using Graph Grammars: A Case Study

15 years 10 months ago

Download hal.archives-ouvertes.fr

A. A. Holzbacher, M. Périn, Mario Südh...

claim paper

Read More »

120

click to vote

ERCIMDL
1997
Springer

108views Education» more ERCIMDL 1997»

Automating the Construction of Authority Files in Digital Libraries: A Case Study

15 years 10 months ago

Download www.cs.virginia.edu

James C. French, Allison L. Powell, Eric Schulman,...

claim paper

Read More »

144

click to vote

RTSS
1996
IEEE

95views Control Systems» more RTSS 1996»

Correctness of vehicle control systems-a case study

15 years 10 months ago

Download publications.csail.mit.edu

Henri B. Weinberg, Nancy A. Lynch

claim paper

Read More »

190

click to vote

CHI
1996
ACM

272views Human Computer Interaction» more CHI 1996»

The Windows 95 User Interface: A Case Study in Usability Engineering

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers