RESEARCHER ON FORMAL VERIFICATION OF COMPLEX SAFETY-CRITICAL SYSTEMS

  RESEARCHER ON FORMAL VERIFICATION OF COMPLEX SAFETY-CRITICAL SYSTEMS, CENTRE FOR DIGITAL INDUSTRY, FBK

Scarica l'Offerta       - [Scarica  .pdf  - 272 Kb][Apri   .pdf ]       
 
Data Pubblicazione sul portale: 18 Dicembre 2020
Fonte: Servizio Eures – Regione Puglia ARPAL
Aree Tematiche: Sistema Puglia
Redazione: Redazione Sistema Puglia
Scaricato: 160 volte