Cosa sono Sono dei linguaggi che vengono usati per la rappresentazione del comportamento e la descrizione di sistemi informatici



Scaricare 96.5 Kb.
28.03.2019
Dimensione del file96.5 Kb.



Cosa sono

  • Sono dei linguaggi che vengono usati per la rappresentazione del comportamento e la descrizione di sistemi informatici.





Specifiche formali



Le prime tecniche di verifica formale





I livelli di astrazione di HDM





.



















Condividi con i tuoi amici:


©astratto.info 2019
invia messaggio

    Pagina principale