Polyspace (Chinese Wikipedia)

Analysis of information sources in references of the Wikipedia article "Polyspace" in Chinese language version.

Last modified: 19:45:27, 28 August 2026 (UTC)

Ref.Un. Ref.Website

Global rank Chinese rank

87web.archive.org

1^st place

1^st place

33mathworks.com

low place

5,218^th place

5,695^th place

7,587^th place

4,224^th place

2,892^nd place

885^th place

1,026^th place

11springerlink.com

3,167^th place

1,658^th place

low place

low place

low place

low place

eetimes.com (Global: 4,224^th place; Chinese: 2,892^nd place)

Pele, Anne-Francoise. The Mathworks acquires PolySpace Technologies. EETimes. 2007-04-25 [2010-08-13]. （原始内容存档于2012-02-11）.

embedded.com (Global: low place; Chinese: low place)

Jones, Paul; Jetley, Raoul; Abraham, Jay. A Formal Methods-based verification approach to medical device software analysis. Embedded Systems Design. 2010-02-09 [2010-08-16]. （原始内容存档于2014-07-25）.

emis.de (Global: low place; Chinese: low place)

subs.emis.de

Wissing, Klaus. Static Analysis of Dynamic Properties - Automatic Program Verification to Prove the Absence of Dynamic Runtime Errors (PDF). Workshop on Applied Program Analysis. 2007-09-27 [2010-08-13]. （原始内容存档 (PDF)于2011-07-18）.

mathworks.com (Global: low place; Chinese: 5,218^th place)

mathworks.com

The MathWorks - Polyspace - Requirements
MathWorks: static code analysis （页面存档备份，存于互联网档案馆）.

in.mathworks.com

Software Metrics-MATLAB. India: MathWorks. [2015-08-27]. （原始内容存档于2016-04-02）.

springerlink.com (Global: 3,167^th place; Chinese: 1,658^th place)

Brat, Guillaume. Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. Formal Methods in System Design. 2004 [2010-08-13]. ^{[永久失效連結]}

toyota.com (Global: 5,695^th place; Chinese: 7,587^th place)

pressroom.toyota.com

Exponent. Exponent's Investigation of Toyota ETCS-i Vehicle Hardware and Software. Exponent. 2012-09-24 [2010-09-07]. （原始内容存档于2014-07-27）.

ucla.edu (Global: 885^th place; Chinese: 1,026^th place)

nesl.ee.ucla.edu

Deutsch, Alain. Static Verification of Dynamic Properties (PDF). Polyspace Technologies. 27 November 2003 [2014-05-17]. （原始内容 (PDF)存档于2012-03-13）.

web.archive.org (Global: 1^st place; Chinese: 1^st place)

Pele, Anne-Francoise. The Mathworks acquires PolySpace Technologies. EETimes. 2007-04-25 [2010-08-13]. （原始内容存档于2012-02-11）.
Deutsch, Alain. Static Verification of Dynamic Properties (PDF). Polyspace Technologies. 27 November 2003 [2014-05-17]. （原始内容 (PDF)存档于2012-03-13）.
Exponent. Exponent's Investigation of Toyota ETCS-i Vehicle Hardware and Software. Exponent. 2012-09-24 [2010-09-07]. （原始内容存档于2014-07-27）.
MathWorks: static code analysis （页面存档备份，存于互联网档案馆）.
Software Metrics-MATLAB. India: MathWorks. [2015-08-27]. （原始内容存档于2016-04-02）.
Jones, Paul; Jetley, Raoul; Abraham, Jay. A Formal Methods-based verification approach to medical device software analysis. Embedded Systems Design. 2010-02-09 [2010-08-16]. （原始内容存档于2014-07-25）.
Wissing, Klaus. Static Analysis of Dynamic Properties - Automatic Program Verification to Prove the Absence of Dynamic Runtime Errors (PDF). Workshop on Applied Program Analysis. 2007-09-27 [2010-08-13]. （原始内容存档 (PDF)于2011-07-18）.