Software validation of medical instruments

2014 IEEE International Symposium on Medical Measurements and Applications (MeMeA) ◽

10.1109/memea.2014.6860090 ◽

2014 ◽

Author(s):

Davidson R. Boccardo ◽

Raphael C. S. Machado ◽

Sergio M. Camara ◽

Charles B. do Prado ◽

Wilson S. Melo ◽

...

Keyword(s):

Software Validation ◽

Medical Instruments

Download Full-text

Designing a configuration control mechanism for a flight software validation facility

10.2514/6.1985-6012 ◽

1985 ◽

Author(s):

R. SMITH-TAYLOR ◽

M. NOLAND

Keyword(s):

Control Mechanism ◽

Software Validation ◽

Configuration Control

Download Full-text

Statistical observations: medical instruments and blood transfusion systems - 2015

Remedium Journal about the Russian market of medicines and medical equipment ◽

10.21518/1561-5936-2017-4-88-90 ◽

2017 ◽

pp. 88-90

Author(s):

Svetlana Romanova ◽

Keyword(s):

Blood Transfusion ◽

Medical Instruments

Download Full-text

Statistical observations: medical instruments and blood transfusion systems

Remedium Journal about the Russian market of medicines and medical equipment ◽

10.21518/1561-5936-2013-3-79-80 ◽

2013 ◽

pp. 79-80

Author(s):

Svetlana Romanova ◽

Keyword(s):

Blood Transfusion ◽

Medical Instruments

Download Full-text

Algorithm selection for software validation based on graph kernels

Automated Software Engineering ◽

10.1007/s10515-020-00270-x ◽

2020 ◽

Vol 27 (1-2) ◽

pp. 153-186

Author(s):

Cedric Richter ◽

Eyke Hüllermeier ◽

Marie-Christine Jakobs ◽

Heike Wehrheim

Keyword(s):

Software Validation ◽

Algorithm Selection ◽

Graph Kernels ◽

Download Full-text

New assertion concepts for self-metric software validation

ACM SIGPLAN Notices ◽

10.1145/390016.808425 ◽

1975 ◽

Vol 10 (6) ◽

pp. 59-71 ◽

Author(s):

Leon G. Stucki ◽

Gary L. Foshee

Keyword(s):

Software Validation

Download Full-text

Software validation of the Titan IIIC Digital Flight Control System utilizing a hybrid computer

10.1145/1479064.1479109 ◽

1971 ◽

Author(s):

R. S. Jackson ◽

S. A. Bravdica

Keyword(s):

Control System ◽

Flight Control ◽

Flight Control System ◽

Software Validation ◽

Hybrid Computer

Download Full-text

Innovative medical instruments data platform and service ecosystem construction

2021 International Conference on Service Science (ICSS) ◽

10.1109/icss53362.2021.00024 ◽

2021 ◽

Author(s):

Lei Wang ◽

Kun Han ◽

Qing Qian ◽

Qiang Zhang ◽

Jishuai Wang ◽

...

Keyword(s):

Data Platform ◽

Medical Instruments ◽

Service Ecosystem

Download Full-text

A case study in JML-based software validation

Proceedings. 19th International Conference on Automated Software Engineering, 2004. ◽

10.1109/ase.2004.1342750 ◽

2004 ◽

Author(s):

L. du Bousquet ◽

Y. Ledru ◽

O. Maury ◽

C. Oriat ◽

J.-L. Lanet

Keyword(s):

Software Validation

Download Full-text

Casings for electronic medical instruments and apparatuses

Biomedical Engineering ◽

10.1007/bf00568824 ◽

1968 ◽

Vol 2 (3) ◽

pp. 169-172

Author(s):

E. L. Vainer

Keyword(s):

Medical Instruments

Download Full-text

Analysis of ZPPR-15 experimental data for VTR software validation

Annals of Nuclear Energy ◽

10.1016/j.anucene.2021.108323 ◽

2021 ◽

Vol 159 ◽

pp. 108323

Author(s):

G. Aliberti ◽

M.A. Smith ◽

Z. Zhong ◽

R.M. Lell ◽

F. Heidet

Keyword(s):

Experimental Data ◽

Software Validation

Download Full-text