Knowledge Tree

researcher / Pavel Vassiliev

Pavel Vassiliev

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Développement et réalisation d'un simulateur de machines à états abstraits temps-réel et model-checking de formules d'une logique des prédicats temporisée du premier ordre