| KEYWORD |
Keyword: SAFETY-CRITICAL SOFTWARE, RISK ANALYSIS, FMEA
 TESI AZIENDA
 TESI ALL'ESTERO
Framework & Tools for Linux Embedded Virtualization
LAVAGNO LUCIANO
microelettronica
|
|
TESI AZIENDA
Qualification of software systems for safety-critical applications
SISTO RICCARDO
FORMAL METHODS FOR SOFTWARE ENGINEERING GROUP
|
|
TESI AZIENDA
TESI ALL'ESTERO
Virtualization Solution for Embedded Mixed-Critical System
LAVAGNO LUCIANO
microelettronica
|
|
TESI AZIENDA
TESI ALL'ESTERO
Virtualization in a mixed-criticality application environment
LAVAGNO LUCIANO
microelettronica
|