Ana C. V. de Melo

Available identifiers

zbMath Open de-melo.ana-c-vMaRDI QIDQ967555

List of research outcomes

Publication	Date of Publication	Type
Towards MC/DC Coverage of Properties Specification Patterns	2016-12-21	Paper
Model Checking Merged Program Traces	2015-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q2848440	2013-09-26	Paper
PiStache: Implementing π-Calculus in Scala	2011-11-11	Paper
A Formal Environment Model for Multi-Agent Systems	2011-05-12	Paper
Formalization of an architectural model for exception handling coordination based on CA action concepts	2010-04-29	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ana C. V. de Melo