Biblioteche e Archivi
POLITesi - Archivio digitale delle tesi di laurea e di dottorato

Analysis and performance evaluation of model checking on modern frameworks for distributed computation

Analisi e studio di performance della verifica di sistemi tramite tecniche di model checking sui moderni framework di computazione distribuita

Distributed model checking. Design and implementation in different distributed computing frameworks

NEMIROVSKIY, ALEXANDER
2018/2019

Abstract

Analysis and performance evaluation of model checking on modern frameworks for distributed computation
ING - Scuola di Ingegneria Industriale e dell'Informazione
3-ott-2019
2018/2019
Analisi e studio di performance della verifica di sistemi tramite tecniche di model checking sui moderni framework di computazione distribuita
Tesi di laurea Magistrale
Tesi di laurea Magistrale
File allegati
File Dimensione Formato  
distributed_model_checking.pdf

non accessibile

Descrizione: thesis file
Dimensione 2.44 MB
Formato Adobe PDF
  Visualizza/Apri
2.44 MB Adobe PDF   Visualizza/Apri

I documenti in POLITesi sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10589/149883