Polyspace (Japanese Wikipedia)

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

refsWebsite

Global rank Japanese rank

3web.archive.org

1^st place

1^st place

6,214^th place

6,747^th place

3,722^nd place

5,209^th place

782^nd place

2,024^th place

2^nd place

6^th place

102^nd place

78^th place

3,960^th place

8,886^th place

low place

low place

low place

low place

doi.org

Brat, Guillaume (2004). “Experimental Evaluation of Verification and Validation Tools on Martian Rover Software”. Formal Methods in System Design 25 (2/3): 167–198. doi:10.1023/B:FORM.0000040027.28662.a4. hdl:2060/20040010327.

eetimes.com

Pele, Anne-Francoise (2007年4月25日). “The Mathworks acquires PolySpace Technologies”. EETimes. 2012年2月11日時点のオリジナルよりアーカイブ。2010年8月13日閲覧。

embedded.com

“A Formal Methods-based verification approach to medical device software analysis”. Embedded Systems Design (2010年2月9日). 2010年8月16日閲覧。

emis.de

subs.emis.de

Wissing, Klaus (2007年9月27日). “Static Analysis of Dynamic Properties - Automatic Program Verification to Prove the Absence of Dynamic Runtime Errors”. Workshop on Applied Program Analysis. 2010年8月13日閲覧。

handle.net

hdl.handle.net

Brat, Guillaume (2004). “Experimental Evaluation of Verification and Validation Tools on Martian Rover Software”. Formal Methods in System Design 25 (2/3): 167–198. doi:10.1023/B:FORM.0000040027.28662.a4. hdl:2060/20040010327.

mathworks.com

mathworks.com

The MathWorks - Polyspace - Requirements
MathWorks. “static code analysis”. 2020年10月21日閲覧。

in.mathworks.com

“Software Metrics-MATLAB”. India: MathWorks. 2015年8月27日閲覧。

toyota.com

pressroom.toyota.com

Exponent (2012年9月24日). “Exponent's Investigation of Toyota ETCS-i Vehicle Hardware and Software”. Exponent. 2014年7月27日時点のオリジナルよりアーカイブ。2010年9月7日閲覧。

ucla.edu

nesl.ee.ucla.edu

Deutsch, Alain (2003年11月27日). “Static Verification of Dynamic Properties”. Polyspace Technologies. 2012年3月13日時点のオリジナルよりアーカイブ。2014年5月17日閲覧。

web.archive.org

Pele, Anne-Francoise (2007年4月25日). “The Mathworks acquires PolySpace Technologies”. EETimes. 2012年2月11日時点のオリジナルよりアーカイブ。2010年8月13日閲覧。
Deutsch, Alain (2003年11月27日). “Static Verification of Dynamic Properties”. Polyspace Technologies. 2012年3月13日時点のオリジナルよりアーカイブ。2014年5月17日閲覧。
Exponent (2012年9月24日). “Exponent's Investigation of Toyota ETCS-i Vehicle Hardware and Software”. Exponent. 2014年7月27日時点のオリジナルよりアーカイブ。2010年9月7日閲覧。