From Formal Test Objectives to TTCN-3 for Verifying ETCS Complex Software Control Systems

Communications in Computer and Information Science - Software Technologies ◽

10.1007/978-3-030-52991-8_8 ◽

2020 ◽

pp. 156-178

Author(s):

Rabea Ameur-Boulifa ◽

Ana Cavalli ◽

Stephane Maag

Keyword(s):

Control Systems ◽

Download Full-text

Testing the kinaesthetic and motor control systems with computer-controlled mechanical stimuli

Electroencephalography and Clinical Neurophysiology ◽

10.1016/s0013-4694(97)88111-8 ◽

1997 ◽

Vol 103 (1) ◽

pp. 46

Author(s):

P Viviani

Keyword(s):

Motor Control ◽

Control Systems ◽

Mechanical Stimuli ◽

Computer Controlled ◽

Motor Control Systems

Download Full-text

New tools for engine control systems development

Annual Reviews in Control ◽

10.1016/s1367-5788(99)00012-7 ◽

1999 ◽

Vol 23 (1) ◽

pp. 109-116

Author(s):

R Stobart

Keyword(s):

Control Systems ◽

Systems Development ◽

Download Full-text

Medical control systems

AccessScience ◽

10.1036/1097-8542.412800 ◽

2015 ◽

Keyword(s):

Control Systems ◽

Medical Control

Download Full-text

Railroad control systems

AccessScience ◽

10.1036/1097-8542.571900 ◽

2015 ◽

Keyword(s):

Control Systems

Download Full-text

The amplitude transition function and the manual and oculomotor control systems.

Psychological Bulletin ◽

10.1037/0033-2909.104.3.363 ◽

1988 ◽

Vol 104 (3) ◽

pp. 363-372 ◽

Author(s):

Nicholas C. Barrett ◽

Denis J. Glencross

Keyword(s):

Control Systems ◽

Transition Function ◽

Oculomotor Control

Download Full-text

A human engineering approach to the design of man-operated continuous control systems.

PsycEXTRA Dataset ◽

10.1037/e401412004-001 ◽

1954 ◽

Author(s):

H. P. Birmingham ◽

F. V. Taylor

Keyword(s):

Control Systems ◽

Continuous Control ◽

Human Engineering ◽

Engineering Approach

Download Full-text

Probabilistic information processing in command and control systems.

PsycEXTRA Dataset ◽

10.1037/e415982004-001 ◽

1963 ◽

Author(s):

Ward Edwards

Keyword(s):

Information Processing ◽

Control Systems ◽

Command And Control ◽

Probabilistic Information ◽

Download Full-text

A simulator for studying human factors in air traffic control systems. (NRC Com. on Aviat. Psychol. Rep. No. 11.).

PsycEXTRA Dataset ◽

10.1037/e479742004-001 ◽

1951 ◽

Author(s):

Beatrice E. Johnson ◽

A. C. Williams ◽

S. N. Roscoe

Keyword(s):

Human Factors ◽

Control Systems ◽

Traffic Control ◽

Air Traffic Control ◽

Download Full-text

Drug Diversion Control Systems, Medical Practice, and Patient Care

PsycEXTRA Dataset ◽

10.1037/e496022006-015 ◽

1993 ◽

Author(s):

Gene R. Haislip ◽

Keyword(s):

Patient Care ◽

Control Systems ◽

Medical Practice ◽

Download Full-text

The Impact of Prescription Drug Control Systems on Medical Practice and Patient Care: A Summary of the NIDA Technical Review

PsycEXTRA Dataset ◽

10.1037/e496022006-003 ◽

1993 ◽

Author(s):

Keyword(s):

Patient Care ◽

Prescription Drug ◽

Control Systems ◽

Medical Practice ◽

Drug Control ◽

Technical Review ◽

Download Full-text