Mel Technologies

Verification Of Complex Systems ​

Programma

  • modelli per la verifica di sistemi​
  • sistemi stocastici e in  tempo reale​
  • famiglie di modelli​
  • modelli parametrizzati per reti di sistemi distribuiti

Data Durata e Modalità

📅 07/06/2024​ 🕔 8 ore

 In presenza | 🖥 Aula virtuale

Formazione Aziendale Consulenza Innovazione

Compila il form

Per iscriverti o per avere più informazioni sul corso da te scelto

    Dichiaro di aver preso visione dell’informativa di MEL TECHNOLOGIES SRL riportata per le finalità di gestione delle mie richieste.

    Contatti

    2020 All Rights Reserved – Mel Technologies srl – P.iva 11203911000 – Via Tolmino N° 12 – 00198 Roma – Numero REA: RM – 1286786 Numero REA: FR 200777 Cap. Soc. 10.000,00 (i.v.)