Knowledge Tree

researcher / Raquel Araùjo de Oliveira

Raquel Araùjo de Oliveira

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Formal Specification and Verification of Interactive Systems with Plasticity : Applications to Nuclear-Plant Supervision