Knowledge Tree

researcher / Ricardo R Jacinto Montes

Ricardo R Jacinto Montes

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Protocoles de validation à deux phases dans les systèmes transactionnels répartis : spécification, modélisation et vérification