Interface Timing Verification Drives System Design Ajay J. Daga

Proceedings of the 34th Design Automation Conference ◽

10.1109/dac.1997.597151 ◽

2005 ◽

Author(s):

A.J. Daga ◽

P.R. Suaris

Keyword(s):

System Design ◽

Timing Verification

Download Full-text

Using Model-Checking for Timing Verification in Industrial System Design

2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) ◽

10.1109/icstw.2017.68 ◽

2017 ◽

Cited By ~ 1

Author(s):

Laurent Rioux ◽

Rafik Henia ◽

Nicolas Sordon

Keyword(s):

Model Checking ◽

System Design ◽

Industrial System ◽

Timing Verification

Download Full-text

Interface timing verification drives system design

Proceedings of the 34th annual conference on Design automation conference - DAC '97 ◽

10.1145/266021.266078 ◽

1997 ◽

Author(s):

Ajay J. Daga ◽

Peter R. Suaris

Keyword(s):

System Design ◽

Timing Verification

Download Full-text

Analyses for Durability and System Design Lifetime

10.1017/cbo9780511546136 ◽

2007 ◽

Author(s):

Joseph H. Saleh

Keyword(s):

System Design

Download Full-text

System Design: What, Why, and How

Contemporary Psychology ◽

10.1037/032990 ◽

1993 ◽

Vol 38 (1) ◽

pp. 101-102

Author(s):

Charles G. Halcomb

Keyword(s):

System Design

Download Full-text

Human resources sensitivity to system design tradeoff alternatives: Feasibility test with jet engine data.

PsycEXTRA Dataset ◽

10.1037/e440862004-001 ◽

1973 ◽

Author(s):

William B. Askren ◽

Kenneth D. Korkan ◽

George W. Watts

Keyword(s):

Human Resources ◽

System Design ◽

Jet Engine ◽

Feasibility Test

Download Full-text

Criminal Justice Information System Design Study

PsycEXTRA Dataset ◽

10.1037/e438152008-271 ◽

1967 ◽

Author(s):

Edward V. Comber

Keyword(s):

Information System ◽

Criminal Justice ◽

System Design ◽

Design Study ◽

Information System Design

Download Full-text

The man-machine paradigm in large information processing systems: The process of command control system design

PsycEXTRA Dataset ◽

10.1037/e464472008-015 ◽

1967 ◽

Cited By ~ 1

Author(s):

James W. Singleton

Keyword(s):

Information Processing ◽

Control System ◽

System Design ◽

Control System Design

Download Full-text

Toward a theory of man-tool system design applications to the consumer product area

PsycEXTRA Dataset ◽

10.1037/e573632012-012 ◽

1974 ◽

Cited By ~ 3

Author(s):

John G. Kreifeldt ◽

Percy H. Hill

Keyword(s):

System Design ◽

Consumer Product

Download Full-text

The "closed psychological system" design as a research technique for environmental psychology

PsycEXTRA Dataset ◽

10.1037/e573612012-008 ◽

1974 ◽

Author(s):

Walter R. Sullins ◽

Peter J. Soper

Keyword(s):

System Design ◽

Environmental Psychology ◽

Research Technique ◽

Psychological System

Download Full-text

Modeling work for cognitive work support system design in operational control centers

PsycEXTRA Dataset ◽

10.1037/e577842012-042 ◽

2007 ◽

Author(s):

Karen Feigh ◽

Amy Pritchett

Keyword(s):

System Design ◽

Support System ◽

Operational Control ◽

Work Support ◽

Cognitive Work

Download Full-text