Polyspace (Chinese Wikipedia)

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

refsWebsite

Global rank Chinese rank

7web.archive.org

1^st place

1^st place

6,214^th place

3,185^th place

3,722^nd place

2,427^th place

782^nd place

866^th place

1springerlink.com

2,569^th place

1,358^th place

3,960^th place

low place

low place

low place

low place

low place

eetimes.com

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

embedded.com

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

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

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

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

toyota.com

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

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

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）.