software verification and validation Recently Published Documents

Autonomous Cars ◽

Lecture Notes in Electrical Engineering - Nuclear Power Plants: Innovative Technologies for Instrumentation and Control Systems ◽

Research About Software Verification and Validation of Control and Protection System for Chinese Heavy-Duty Gas Turbine

10.1007/978-981-16-3456-7_76 ◽

2021 ◽

pp. 757-764

Author(s):

Peng-Fei Gu ◽

Zhe-Ming Liu ◽

He-Ming Bao ◽

Tao Bai ◽

Xue-Fei Zhai

Keyword(s):

Gas Turbine ◽

Software Verification ◽

Protection System ◽

Heavy Duty ◽

Heavy Duty Gas Turbine ◽

Collaborative Education: Building a Skilled Software Verification and Validation User Community

10.18260/1-2--20172 ◽

2020 ◽

Author(s):

Sushil Acharya ◽

Priya Manohar ◽

Walter Schilling ◽

Ali Ansari ◽

Peter Wu

Keyword(s):

Software Verification ◽

User Community ◽

Collaborative Education ◽

Enhancing The Software Verification And Validation Course Through Laboratory Sessions

10.18260/1-2--4000 ◽

2020 ◽

Author(s):

Sushil Acharya

Keyword(s):

Software Verification ◽

A State Of Practice On Teaching Software Verification And Validation

10.18260/1-2--4753 ◽

2020 ◽

Author(s):

Zulfa Zakaria

Keyword(s):

Software Verification ◽

State Of Practice ◽

Lecture Notes in Electrical Engineering - Nuclear Power Plants: Innovative Technologies for Instrumentation and Control Systems ◽

Software Verification and Validation of Digital Nuclear Instrumentation System

10.1007/978-981-15-1876-8_32 ◽

2020 ◽

pp. 313-321

Author(s):

Mi Zhang ◽

Ju-Zhi Wang ◽

Wei-Jie Huang ◽

Bing-Chen Huang

Keyword(s):

Software Verification ◽

Nuclear Instrumentation ◽

Software Verification and Validation

Handbook of Medical Device Design ◽

10.1201/9780429285141-24 ◽

2019 ◽

pp. 601-627

Author(s):

Sherman Eagles

Keyword(s):

Software Verification ◽

Software Verification and Validation Technologies and Tools

IEEE Software ◽

10.1109/ms.2018.2883354 ◽

2019 ◽

Vol 36 (2) ◽

pp. 13-24 ◽

Cited By ~ 7

Author(s):

Moises Rodriguez ◽

Mario Piattini ◽

Christof Ebert

Keyword(s):

Software Verification ◽

Argonne Reactor Code Software Verification and Validation Plan for the VTR

10.2172/1787804 ◽

2018 ◽

Author(s):

M. Smith ◽

G. Aliberti ◽

F. Heidet

Keyword(s):

Software Verification ◽

Validation Plan ◽

Software Verification and Validation on Object Oriented Software Development Using Traceability Matrix

2018 Third International Conference on Informatics and Computing (ICIC) ◽

10.1109/iac.2018.8780518 ◽

2018 ◽

Author(s):

Hanson Prihantoro Putro ◽

Apriliana Fajri Wibowo

Keyword(s):

Software Development ◽

Software Verification ◽

Object Oriented ◽

Traceability Matrix ◽