Distributed CTL Model Checking in the Cloud

Detalles Bibliográficos

Publicado en:	arXiv.org (Oct 24, 2013), p. n/a
Autor principal:	Bellettini, Carlo
Otros Autores:	Camilli, Matteo, Capra, Lorenzo, Monga, Mattia
Publicado:	Cornell University Library, arXiv.org
Materias:	Electronic design automation Big Data Data management Parallel processing Program verification (computers) Communities Data processing Cloud computing Computer networks
Acceso en línea:	Citation/Abstract Full text outside of ProQuest
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!