top

English
Persona    Opera   
Persona/Opera
Vai a Pubblicazioni
Persona/Ente/Famiglia
   

Espandi
Riduci






Seleziona tutte
Deseleziona


Applications logicielles certifiables
Espandi opera
...
CENELEC 50128 and IEC 62279 standards
Espandi opera
...
Certifiable software applications
Espandi opera
...

Formal method
Espandi opera
...
Industrial used of formal method
Espandi opera
...
Safety management for software-based equipment
Espandi opera
...

Safety of computer architectures
Espandi opera
...
Static analysis of software
Espandi opera
...