Увійти

Готові списки джерел за темами / Verification and testing / Статті в журналах

Статті в журналах з теми "Verification and testing"

Щоб переглянути інші типи публікацій з цієї теми, перейдіть за посиланням: Verification and testing.

Автор: Grafiati

Опубліковано: 10 грудня 2022

Оновлено: 28 січня 2023

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся з топ-50 статей у журналах для дослідження на тему "Verification and testing".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Переглядайте статті в журналах для різних дисциплін та оформлюйте правильно вашу бібліографію.

1

Evernden, Jack F. "Verification of Nuclear Testing." Science 228, no. 4701 (May 17, 1985): 792–94. http://dx.doi.org/10.1126/science.228.4701.792.b.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

2

Evernden, Jack F. "Verification of Nuclear Testing." Science 228, no. 4701 (May 17, 1985): 792–94. http://dx.doi.org/10.1126/science.228.4701.792-b.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

3

Fodor, B., and I. Kollar. "ADC Testing With Verification." IEEE Transactions on Instrumentation and Measurement 57, no. 12 (December 2008): 2762–68. http://dx.doi.org/10.1109/tim.2008.928404.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

4

EVERNDEN, J. F. "Verification of Nuclear Testing." Science 228, no. 4701 (May 17, 1985): 792–94. http://dx.doi.org/10.1126/science.228.4701.792-a.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

5

Ferris, E. A. E. "Gender verification testing in sport." British Medical Bulletin 48, no. 3 (1992): 683–97. http://dx.doi.org/10.1093/oxfordjournals.bmb.a072571.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

6

Hailpern, B., and P. Santhanam. "Software debugging, testing, and verification." IBM Systems Journal 41, no. 1 (2002): 4–12. http://dx.doi.org/10.1147/sj.411.0004.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

7

Margaria, Tiziana, Zongyan Qiu, and Hongli Yang. "Program verification and testing technologies." International Journal on Software Tools for Technology Transfer 16, no. 4 (June 25, 2014): 335–37. http://dx.doi.org/10.1007/s10009-014-0327-0.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

8

Tracey, Nigel, John Penix, and Willem Visser. "Automated analysis, verification and testing." Software Focus 2, no. 2 (2001): 82. http://dx.doi.org/10.1002/swf.34.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

9

Schmitt, Robert L., Awad S. Hanna, Jeffrey S. Russell, and Erik V. Nordheim. "Statistically Based Methods for Verification Testing." Transportation Research Record: Journal of the Transportation Research Board 1761, no. 1 (January 2001): 86–92. http://dx.doi.org/10.3141/1761-11.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

10

Findlay, Trevor, and Oliver Meier. "Nuclear Testing: In verification we trust." Bulletin of the Atomic Scientists 57, no. 1 (January 1, 2001): 13–15. http://dx.doi.org/10.2968/057001005.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

11

Kitchenham, B., and S. Linkman. "Validation, verification, and testing: diversity rules." IEEE Software 15, no. 4 (1998): 46–49. http://dx.doi.org/10.1109/52.687944.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

12

Kahan, Mark A. "Optical Testing and Verification on HST." Optics and Photonics News 4, no. 11 (November 1, 1993): 28. http://dx.doi.org/10.1364/opn.4.11.000028.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

13

Avresky, D. R. "Formal verification and testing of protocols." Computer Communications 22, no. 7 (May 1999): 681–90. http://dx.doi.org/10.1016/s0140-3664(99)00011-0.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

14

Tso, Chunto, Lai-Ho Huang, and Chung-Jen Tseng. "Hydrogen Scooter Testing and Verification Program." Energy Procedia 29 (2012): 633–43. http://dx.doi.org/10.1016/j.egypro.2012.09.073.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

15

Karamanlidis, D. "Software validation: inspection - testing - verification - alternatives." Advances in Engineering Software (1978) 7, no. 4 (October 1985): 216. http://dx.doi.org/10.1016/0141-1195(85)90080-4.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

16

Berg, John L. "Protocol specification, testing, and verification, IV." Computer Standards & Interfaces 7, no. 3 (January 1988): 329. http://dx.doi.org/10.1016/0920-5489(88)90095-5.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

17

Berg, John L. "Protocol specification, testing, and verification, V." Computer Standards & Interfaces 7, no. 3 (January 1988): 329. http://dx.doi.org/10.1016/0920-5489(88)90096-7.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

18

Berg, John L. "Protocol specification, testing, and verification, VI." Computer Standards & Interfaces 7, no. 3 (January 1988): 329. http://dx.doi.org/10.1016/0920-5489(88)90097-9.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

19

HANNON, W. J. "In Reply: Verification of Nuclear Testing." Science 228, no. 4701 (May 17, 1985): 794. http://dx.doi.org/10.1126/science.228.4701.794.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

20

Mousavi, Mohammad Reza, and Jun Pang. "Special issue: software verification and testing." Innovations in Systems and Software Engineering 9, no. 2 (April 30, 2013): 57–58. http://dx.doi.org/10.1007/s11334-013-0211-1.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

21

Yamada, Shigeru. "Software validation: Inspection-testing-verification-alternatives." European Journal of Operational Research 27, no. 3 (December 1986): 385. http://dx.doi.org/10.1016/0377-2217(86)90337-1.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

22

Øvergaard, Asgeir, and Gerrit Muller. "6.4.2 System Verification by Automatic Testing." INCOSE International Symposium 23, no. 1 (June 2013): 356–67. http://dx.doi.org/10.1002/j.2334-5837.2013.tb03024.x.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

23

Foster, Kenneth A. "An example of testing versus verification." Software Testing, Verification and Reliability 2, no. 1 (May 1992): 3–6. http://dx.doi.org/10.1002/stvr.4370020103.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

24

Popov, Dmitry. "Testing and verification of the LHCb Simulation." EPJ Web of Conferences 214 (2019): 02043. http://dx.doi.org/10.1051/epjconf/201921402043.

Повний текст джерела

Анотація:

Monte-Carlo simulation is a fundamental tool for high-energy physics experiments, from the design phase to data analysis. In recent years its relevance has increased due to the ever growing measurements precision. Accuracy and reliability are essential features in simulation and particularly important in the current phase of the LHCb experiment, where physics analysis and preparation for data taking with the upgraded detector need to be performed at the same time. In this paper we will give an overview of the full chain of tests and procedures implemented for the LHCb Simulation software stack to ensure the quality of its results. The tests comprise simple checks to validate new software contributions in a nightlies system as well as more elaborate checks to probe simple physics and software quantities for performance and regression verifications. Commissioning of a new major version of the simulation software for production implies also validating its impact using a few physics anlayses. A new system for Simulation Data Quality (SimDQ) that is being put in place to help in the first phase of commissioning and for fast verification of all samples produced is also discussed.

Стилі APA, Harvard, Vancouver, ISO та ін.

25

Venugopal, Manokar, Manju Nanda, G. Anand, and Hari Chandana Voora. "An integrated Hardware/Software Verification and Validation methodology for Signal Processing Systems." ITM Web of Conferences 50 (2022): 02001. http://dx.doi.org/10.1051/itmconf/20225002001.

Повний текст джерела

Анотація:

The testing and validation services team assesses project deliverables at various stages of development using innovative and effective verification and validation, to ensure that the deliverables are compliance with the customer specifications and requirements. Whenever new products and devices are released, completely integrated verification and validation services are delivered to accurate and complete records usability, performance, and quality assurance services. Throughout the product development and testing process, the testing and validation services team employs verification and validation techniques. Code reviews, walk through, inspections, desk-checking, and code execution are all examples of verification and validation techniques. Services for verification and validation are used to assess whether or not the software or application provided complies with the requirements and serves the intended purpose. A procedure used to ensure that the software created is of good quality and consistently operates as expected is independent testing and validation services. Unit testing (also known as “White Box Testing”), hardware-software integration testing (HSIT), and system testing are the three primary independent verification and validation approaches (Black Box Testing). The teams responsible for the verification and validation services actively participate in each stage of the project and design the services according to the project’s needs (e.g., prototype, spiral, iterative, V Model, and Agile). Our expertise in the embedded domain, tried-and-true verification and validation techniques, and a thorough methodology provide a quick turnaround and excellent results for the targeted solution. Independent Verification and validation services covering Source code, design, and requirements White box testing, or unit testing Testing for hardware-software integration Black box testing, or system testing To reduce test cycle-time significantly on test Automation solutions. Verification and validation techniques can be used to effectively and efficiently carry out stress and performance tests, and to detect defects early in the life cycle. Documentation of test process. Liaison and Certification

Стилі APA, Harvard, Vancouver, ISO та ін.

26

Elqortobi, Mounia, Warda El-Khouly, Amine Rahj, Jamal Bentahar, and Rachida Dssouli. "Verification and testing of safety-critical airborne systems: A model-based methodology." Computer Science and Information Systems 17, no. 1 (2020): 271–92. http://dx.doi.org/10.2298/csis190430040e.

Повний текст джерела

Анотація:

In this paper, we address the issues of safety-critical software verification and testing that are key requirements for achieving DO-178C and DO- 331 regulatory compliance for airborne systems. Formal verification and testing are considered two different activities within airborne standards and they belong to two different levels in the avionics software development cycle. The objective is to integrate model-based verification and model-based testing within a single framework and to capture the benefits of their cross-fertilization. This is achieved by proposing a new methodology for the verification and testing of parallel communicating agents based on formal models. In this work, properties are extracted from requirements and formally verified at the design level, while the verified properties are propagated to the implementation level and checked via testing. The contributions of this paper are a methodology that integrates verification and testing, formal verification of some safety critical software properties, and a testing method for Modified Condition/Decision Coverage (MC/DC). The results of formal verification and testing can be used as evidence for avionics software certification.

Стилі APA, Harvard, Vancouver, ISO та ін.

27

Eichler, Taro, Ute Philipp, and Lorenz Rädler. "Novel Testing Metrics." New Electronics 54, no. 16 (November 2021): 28–30. http://dx.doi.org/10.12968/s0047-9624(22)60562-5.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

28

Li, Qiu Ying, and Xing Chao You. "Software Reliability Verification Testing Program Considering Hyper-Parameter." Applied Mechanics and Materials 511-512 (February 2014): 1215–18. http://dx.doi.org/10.4028/www.scientific.net/amm.511-512.1215.

Повний текст джерела

Анотація:

The impact of hyper-parameters is considered in the software reliability verification testing program based on the traditional Bayesian theory and a new Bayesian software reliability verification testing program is proposed, which could be used for high-reliability software. Examples are given to illustrate the effectiveness of this verification testing program.

Стилі APA, Harvard, Vancouver, ISO та ін.

29

Ekert, Damjan, Jürgen Dobaj, and Alen Salamun. "Cybersecurity Verification and Validation Testing in Automotive." JUCS - Journal of Universal Computer Science 27, no. 8 (August 28, 2021): 850–67. http://dx.doi.org/10.3897/jucs.71833.

Повний текст джерела

Анотація:

The new generations of cars have a number of ECUs (Electronic Control Units) which are connected to a central gateway and need to pass cybersecurity integration tests to fulfil the homologation requirements of cars. Cars usually have a gateway server (few have additional domain servers) with Linux and a large number of ECUs which are real time control of actuators (ESP, EPS, ABS, etc. – usually they are multicore embedded controllers) connected by a real time automotive specific bus (CAN-FD) to the domain controller or gateway server. The norms (SAE J3061, ISO 21434) require cybersecurity related verification and validation. Fir the verification car manufacturers use a network test suite which runs > 2000 test cases and which have to be passed for homologation. These norms have impact on the way how car communication infrastructure is tested, and which cybersecurity attack patterns are checked before a road release of an ECU/car. This paper describes typical verification and validation approaches in modern vehicles and how such test cases are derived and developed.

Стилі APA, Harvard, Vancouver, ISO та ін.

30

Spring, Gary S., John Collura, Paul W. Shuldiner, and James Watson. "Testing, Verification, and Validation of Expert Systems." Journal of Transportation Engineering 117, no. 3 (May 1991): 350–60. http://dx.doi.org/10.1061/(asce)0733-947x(1991)117:3(350).

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

31

Wei-Tek Tsai, Lian Yu, Feng Zhu, and R. Paul. "Rapid Embedded System Testing Using Verification Patterns." IEEE Software 22, no. 4 (July 2005): 68–75. http://dx.doi.org/10.1109/ms.2005.103.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

32

Khanna, S. "Logic Programming for Software Verification and Testing." Computer Journal 34, no. 4 (April 1, 1991): 350–57. http://dx.doi.org/10.1093/comjnl/34.4.350.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

33

Mousavi, Mohammad Reza, and Jun Pang. "Special section on Software Verification and Testing." Science of Computer Programming 95 (December 2014): 273–74. http://dx.doi.org/10.1016/j.scico.2014.06.015.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

34

Gunter, Elsa, and Doron Peled. "Model checking, testing and verification working together." Formal Aspects of Computing 17, no. 2 (August 2005): 201–21. http://dx.doi.org/10.1007/s00165-005-0059-8.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

35

Malagardis, N. "Organization of verification and testing in France." Computer Standards & Interfaces 5, no. 4 (January 1986): 235–40. http://dx.doi.org/10.1016/0920-5489(86)90030-9.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

36

Sciuto, Donatella, and Fabrizio Lombardi. "Functional testing and verification of array systems." Microprocessors and Microsystems 13, no. 6 (July 1989): 403–12. http://dx.doi.org/10.1016/0141-9331(89)90049-5.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

37

Dyer, M., and A. Kouchakdjian. "Correctness verification: alternative to structural software testing." Information and Software Technology 32, no. 1 (January 1990): 53–59. http://dx.doi.org/10.1016/0950-5849(90)90046-t.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

38

Rizvi, Navaid Zafar, Rajat Arora, and Niraj Agrawal. "Implementation and Verification of Synchronous FIFO using System Verilog Verification Methodology." Journal of Communications Technology, Electronics and Computer Science 2 (November 21, 2015): 18. http://dx.doi.org/10.22385/jctecs.v2i0.19.

Повний текст джерела

Анотація:

Developing complex nature of patterns & concurrency of Integrated Circuits has made conventional coordinated test- benches an unworkable answer for testing. Nowadays, testing as a word has been substituted with check. Confirmation specialists need to guarantee what goes to the plant for assembling is an exact representation of the specification of configuration. Verification is the maximum time consuming stage in the whole design process, thus it has become a necessity to minimize the time required to encounter the confirmation necessities. The relentless growth in the complexity of the system, has led to the requirement of a more advanced, well organized and automated approach for creating verification environments. As the designs gets complex, the probability of occurrence of bugs increases. This nеcеssitatеd the introduction of the verification phase for verifying the functionality of the IC and to detect the bugs at an early stage. In this paper, the synchronous FIFO design is verified using System Verilog Verification Environment.

Стилі APA, Harvard, Vancouver, ISO та ін.

39

MESNARD, FRED, ÉTIENNE PAYET, and GERMÁN VIDAL. "Concolic Testing in CLP." Theory and Practice of Logic Programming 20, no. 5 (September 2020): 671–86. http://dx.doi.org/10.1017/s1471068420000216.

Повний текст джерела

Анотація:

AbstractConcolic testing is a popular software verification technique based on a combination of concrete and symbolic execution. Its main focus is finding bugs and generating test cases with the aim of maximizing code coverage. A previous approach to concolic testing in logic programming was not sound because it only dealt with positive constraints (by means of substitutions) but could not represent negative constraints. In this paper, we present a novel framework for concolic testing of CLP programs that generalizes the previous technique. In the CLP setting, one can represent both positive and negative constraints in a natural way, thus giving rise to a sound and (potentially) more efficient technique. Defining verification and testing techniques for CLP programs is increasingly relevant since this framework is becoming popular as an intermediate representation to analyze programs written in other programming paradigms.

Стилі APA, Harvard, Vancouver, ISO та ін.

40

Kroening, Michael, Yana Salchak, and Dmitriy A. Sednev. "Closure Welds Identification by Means of Ultrasonic Testing." Advanced Materials Research 1040 (September 2014): 933–36. http://dx.doi.org/10.4028/www.scientific.net/amr.1040.933.

Повний текст джерела

Анотація:

In present paper, possibilities for identification and verification of closure welds were discussed. It might be applied for nonproliferation purposes, where validity and reliability of verification are often crucial issue. Methodology of ultrasonic testing and signal processing procedure were proposed. Through set of experiments, the validity of proposed solution was approved.

Стилі APA, Harvard, Vancouver, ISO та ін.

41

Chertok, Nikita Dmitrievich, and Mikhail Mikhaylovich Chupilko. "Survey of Methods for Functional Online Testing of Microprocessors." Proceedings of the Institute for System Programming of the RAS 33, no. 6 (2021): 131–48. http://dx.doi.org/10.15514/ispras-2021-33(6)-9.

Повний текст джерела

Анотація:

Online testing is a process of functional verification of microprocessors produced in silicon or their FPGA-prototypes, i.e. post-silicon verification. This type of testing differs both from the manufacturing testing, aimed at checking the workability of manufactured chips (e.g., absence of physical defects, admissibility of physical characteristics) and from simulation-based pre-silicon functional verification of microprocessors models (where internal microprocessor signals are available for observing, and the execution process can be controlled). Post-silicon verification enables to rapidly run huge numbers of tests and detect bugs missed during pre-silicon functional verification. Tests for microprocessors are usually represented by executable programs. Accordingly, the main tasks of online testing are high-performance generation of test programs in the given ISA and creation of a test environment responsible for launching programs, assessing the correctness of their execution by a microprocessor, diagnosing errors, and interacting with the outside world. This paper examines the problems arising in the development of online testing systems (online test program generators), reviews existing solutions in this area, and, on the base on them, proposes a promising approach to organizing online testing.

Стилі APA, Harvard, Vancouver, ISO та ін.

42

Kroll, Martin H., Patricia E. Styer, and Delmiro Anthony Vasquez. "Calibration Verification Performance Relates to Proficiency Testing Performance." Archives of Pathology & Laboratory Medicine 128, no. 5 (May 1, 2004): 544–48. http://dx.doi.org/10.5858/2004-128-544-cvprtp.

Повний текст джерела

Анотація:

Abstract Context.—Since 1988, the College of American Pathologists has been offering materials for calibration verification coupled with the surveys for linearity, called the linearity (LN) surveys. Objective.—To determine whether successful completion of the College of American Pathologists LN surveys provides a benefit in terms of improved proficiency testing (PT) performance. Design.—In this study, we used information from LN surveys LN1/2, LN3, and LN5 and from the PT surveys C, Z, and K administered and analyzed in the year 2000. For the PT data, we calculated 4 measures of performance: passing PT, results exceeding 2 SDs, sum of absolute SD intervals, and the absolute sum of SD intervals. For the LN data, we classified laboratories as participants versus nonparticipants in LN surveys and by whether or not LN survey performance was successful. Results.—LN enrollees had fewer unacceptable PT results than did nonenrollees. Additionally, for many analytes there was a significant positive association between LN performance and PT performance. Conclusions.—For most analytes studied, there was strong evidence linking performance on PT surveys with performance on LN surveys. Eight of 13 analyses (62%) demonstrated improved performance with successful calibration verification.

Стилі APA, Harvard, Vancouver, ISO та ін.

43

Sun, Ming Cheng, Chao Qun Zhang, Chao Yang, and De Bin Han. "Verification and Calibration of Instrumented Indentation Testing Machines." Key Engineering Materials 734 (April 2017): 301–9. http://dx.doi.org/10.4028/www.scientific.net/kem.734.301.

Повний текст джерела

Анотація:

The frame compliance is calibrated by experimental and calculation methods for an instrumented indentation equipment. The indentation depth and contact diameter with single cycle test is determined by confocal laser scanning microscopy directly. The alternative method is to calculate the contact depth and the contact radius from the load-depth curves. The observed and calculated frame compliances are obtained respectively according to EN ISO 14577-4 Annex Methods 2.

Стилі APA, Harvard, Vancouver, ISO та ін.

44

Hong, Seok-Hee. "Testing Transactions based on Verification of Isolation Levels." Journal of the Korea Contents Association 8, no. 7 (July 28, 2008): 75–84. http://dx.doi.org/10.5392/jkca.2008.8.7.075.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

45

Siewert, T. A., D. P. Vigliotti, L. B. Dirling,, and C. N. McCowan. "Performance verification of impact machines for testing plastics." Journal of Research of the National Institute of Standards and Technology 104, no. 6 (November 1999): 557. http://dx.doi.org/10.6028/jres.104.034.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

46

RAJAKUMAR, G. R., and S. V. PATIL. "Development and performance verification of soil testing kit." INTERNATIONAL JOURNAL OF FORESTRY AND CROP IMPROVEMENT 7, no. 1 (June 15, 2016): 41–45. http://dx.doi.org/10.15740/has/ijfci/7.1/41-45.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

47

Richardson, D. J., and L. A. Clarke. "Partition Analysis: A Method Combining Testing and Verification." IEEE Transactions on Software Engineering SE-11, no. 12 (December 1985): 1477–90. http://dx.doi.org/10.1109/tse.1985.231892.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

48

Poulding, Simon, and John A. Clark. "Efficient Software Verification: Statistical Testing Using Automated Search." IEEE Transactions on Software Engineering 36, no. 6 (November 2010): 763–77. http://dx.doi.org/10.1109/tse.2010.24.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

49

Clune, T. L., and R. B. Rood. "Software Testing and Verification in Climate Model Development." IEEE Software 28, no. 6 (November 2011): 49–55. http://dx.doi.org/10.1109/ms.2011.117.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

50

Stanard, Christopher L. "Reliability Verification, Testing, and Analysis in Engineering Design." Technometrics 46, no. 4 (November 2004): 486–87. http://dx.doi.org/10.1198/tech.2004.s227.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!