Software for testing machines

被引：0

作者：

Havemann, Klaus ^{[1
]}

机构：

[1] Düsseldorf, Germany

来源：

Materialpruefung/Materials Testing | 2001年 / 43卷 / 09期

关键词：

D O I：

10.1515/mt-2001-430906

中图分类号：

学科分类号：

摘要：

引用

页码：357 / 358

共 50 条

[1] HIGH-PERFORMANCE SOFTWARE TESTING ON SIMD-MACHINES
KRAUSER, EW
MATHUR, AP
REGO, VJ
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1991, 17 (05) : 403 - 423
[2] TESTING SOFTWARE DESIGN MODELED BY FINITE-STATE MACHINES
CHOW, TS
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1978, 4 (03) : 178 - 187
[3] Using B machines for model-based testing of smartcard software
Jaffuel, Eddie
[J]. B 2007: FORMAL SPECIFICATION AND DEVELOPMENT IN B, PROCEEDINGS, 2007, 4355 : 2 - 2
[4] COMPUTER-AIDED TESTING OF ELECTRICAL MACHINES - SOFTWARE-DEVELOPMENT
ANDERSON, MD
HAUK, SA
LARAMORE, R
POTTINGER, HJ
[J]. IEEE TRANSACTIONS ON POWER SYSTEMS, 1987, 2 (03) : 824 - 830
[5] Applying extended finite state machines in software testing of interactive systems
Fantinato, M
Jino, M
[J]. INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, 2003, 2844 : 34 - 45
[6] Zwick: Testing machines with intelligent software for mechanical steel grade testing - New developments in testing technology for the steel industry
Dripke, Manfred
[J]. Stahl und Eisen, 2009, 129 (07):
[7] TESTING MACHINES
不详
[J]. WIRE, 1966, (86): : 279 - &
[8] Universal Software-Hardware Measurement Complex for Testing Wide Range of Synchronous Machines
Lyubimov, E. V.
Gladyshev, S. P.
Istselemov, D. A.
Belyaev, N. A.
[J]. 2016 IEEE INTERNATIONAL CONFERENCE ON ELECTRO INFORMATION TECHNOLOGY (EIT), 2016, : 252 - 257
[9] Optimal software testing and adaptive software testing in the context of software cybernetics
Cai, KY
[J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2002, 44 (14) : 841 - 855
[10] Application of Ising Machines and a Software Development for Ising Machines
Tanahashi, Kotaro
Takayanagi, Shinichi
Motohashi, Tomomitsu
Tanaka, Shu
[J]. JOURNAL OF THE PHYSICAL SOCIETY OF JAPAN, 2019, 88 (06)

← 1 2 3 4 5 →