Knowledge Tree

researcher / Ana Cristina Vieira De Melo

Ana Cristina Vieira De Melo

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

Verification of behaviourist multi-agent systems by means of formally guided simulations