Testo completo per la stampa
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