Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Luca Ferro

Luca Ferro

at_id:

orcid_id:

Disciplines:

Industrial engineering
Edit Merge See Links

Thesis:

Vérification de propriétés logico-temporelles de spécifications SystemC TLM