| Date | Link | Tags | Clicks | Descriptions | Ratings |
|---|---|---|---|---|---|
| 4 Jun 2013 |
Verifizieren von Beschleunigungsmodellen mithilfe des Model Advisor
German translation of the article: Accelerating Model Verification with Model Advisor Contributed by: Linda Webb
|
do-178c, iec 61508, iso 26262, maab style..., model advisor | 0 | 1 | |
| 23 Jan 2013 |
Accelerating Model Verification with Model Advisor
Use Model Advisor exclusion capability to speed up verification of Simulink and Stateflow models. Contributed by: Linda Webb
|
do-178c, iec 61508, iso 26262, maab style..., model advisor | 12 | 1 | |
| 2 Jan 2013 |
Teaching Model-Based Design at Politecnico di Torino
Model-Based Software Design, an elective course for fifth-year students, prepares future engineers. Contributed by: Linda Webb
|
academic, autosar, code genera..., do-178, embedded sy... | 25 | 1 | |
| 21 Dec 2012 |
Improving Software Quality with Static Code Analysis
Development teams improve code quality with static code analysis using Polyspace code verifiers. Contributed by: Linda Webb
|
abstract in..., code certif..., code comple..., code metrics, code reviews | 18 | 1 |