Dynamic Models for the Formal Verification of Big Data Applications Via Stochastic Model Checking

Claudio Mandrioli
Claudio Mandrioli

CCTA, pp. 1466-1471, 2018.

Cited by: 0|Bibtex|Views6|Links
EI

Code:

Data:

Your rating :
0

 

Tags
Comments