Mots-clés
model checking
probabilistic model checking
prism
asm
asmeta
systems
probabilistic
validation
verification
formal methods
science
percolation
computer
phisic
percolazione
Tout plus
Présentations
(3)Documents
(3)Mots-clés
model checking
probabilistic model checking
prism
asm
asmeta
systems
probabilistic
validation
verification
formal methods
science
percolation
computer
phisic
percolazione
Tout plus