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]
Data Pubblicazione sul portale: 18 Dicembre 2020 Fonte: Servizio Eures – Regione Puglia ARPAL Aree Tematiche: Sistema Puglia Redazione: Redazione Sistema Puglia Scaricato: 162 volte