Polyspace (English Wikipedia)

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

refsWebsite

Global rank English rank

3web.archive.org

1^st place

1^st place

6,214^th place

4,509^th place

3,722^nd place

2,509^th place

782^nd place

585^th place

2^nd place

2^nd place

102^nd place

76^th place

3,960^th place

2,480^th place

low place

low place

low place

low place

doi.org (Global: 2^nd place; English: 2^nd place)

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 (Global: 3,722^nd place; English: 2,509^th place)

Pele, Anne-Francoise (2007-04-25). "The Mathworks acquires PolySpace Technologies". EETimes. Archived from the original on 2012-02-11. Retrieved 2010-08-13.
Pelé, Anne-Françoise (2007-04-25). "The Mathworks acquires PolySpace Technologies". EE Times. Retrieved 2024-07-12.

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

Jones, Paul; Jetley, Raoul; Abraham, Jay (2010-02-09). "A Formal Methods-based verification approach to medical device software analysis". Embedded Systems Design. Retrieved 2010-08-16.

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

subs.emis.de

Wissing, Klaus (2007-09-27). "Static Analysis of Dynamic Properties - Automatic Program Verification to Prove the Absence of Dynamic Runtime Errors" (PDF). Workshop on Applied Program Analysis. Retrieved 2010-08-13.

handle.net (Global: 102^nd place; English: 76^th place)

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 (Global: 6,214^th place; English: 4,509^th place)

mathworks.com

The MathWorks - Polyspace - Requirements
MathWorks: static code analysis.

in.mathworks.com

"Software Metrics-MATLAB". India: MathWorks. Retrieved 2015-08-27.

toyota.com (Global: 3,960^th place; English: 2,480^th place)

pressroom.toyota.com

Exponent (2012-09-24). "Exponent's Investigation of Toyota ETCS-i Vehicle Hardware and Software". Exponent. Archived from the original on 2014-07-27. Retrieved 2010-09-07.

ucla.edu (Global: 782^nd place; English: 585^th place)

nesl.ee.ucla.edu

Deutsch, Alain (2003-11-27). "Static Verification of Dynamic Properties" (PDF). Polyspace Technologies. Archived from the original (PDF) on 2012-03-13. Retrieved 2014-05-17.

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

Pele, Anne-Francoise (2007-04-25). "The Mathworks acquires PolySpace Technologies". EETimes. Archived from the original on 2012-02-11. Retrieved 2010-08-13.
Deutsch, Alain (2003-11-27). "Static Verification of Dynamic Properties" (PDF). Polyspace Technologies. Archived from the original (PDF) on 2012-03-13. Retrieved 2014-05-17.
Exponent (2012-09-24). "Exponent's Investigation of Toyota ETCS-i Vehicle Hardware and Software". Exponent. Archived from the original on 2014-07-27. Retrieved 2010-09-07.