Knowledge Tree

researcher / Jean-Marc Le Campion

Jean-Marc Le Campion

at_id:

orcid_id:

Disciplines:

Applied sciences

Edit Merge See Links

Thesis:

Proposition pour un formalisme logique d'expression et de verification de proprietes temporelles sur des evenements repetitifs destine a l'analyse de traces d'execution