Certifying algorithms (Q465678): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(14 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Ross M. McConnell / rank | |||
Property / author | |||
Property / author: Stefan Näher / rank | |||
Property / author | |||
Property / author: Pascal Schweitzer / rank | |||
Property / author | |||
Property / author: Ross M. McConnell / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Stefan Näher / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Pascal Schweitzer / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 68W01 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 68-02 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6360997 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
certifying algorithms | |||
Property / zbMATH Keywords: certifying algorithms / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
software reliability | |||
Property / zbMATH Keywords: software reliability / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
certification | |||
Property / zbMATH Keywords: certification / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: SoPlex / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: ACL2 / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: Isabelle / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: CPLEX / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: Concorde / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: CGAL / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: LEDA / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: VCC / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: Hull / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.cosrev.2010.09.009 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W55887128 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Revision as of 20:03, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Certifying algorithms |
scientific article |
Statements
Certifying algorithms (English)
0 references
24 October 2014
0 references
certifying algorithms
0 references
software reliability
0 references
certification
0 references