 | 2009 |
|---|
| 4 |       | Marcel Vinicius Medeiros Oliveira,
Jim Woodcock:
Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers
Springer 2009 |
| 3 | | Christina Chavez,
Alessandro F. Garcia,
Thaís Vasconcelos Batista,
Marcel Vinicius Medeiros Oliveira,
Cláudio Sant'Anna,
Awais Rashid:
Composing architectural aspects based on style semantics.
AOSD 2009: 111-122 |
| 2 | | Artur Oliveira Gomes,
Marcel Vinicius Medeiros Oliveira:
Formal Specification of a Cardiac Pacing System.
FM 2009: 692-707 |
| 2008 |
|---|
| 1 | | Alessandro Cavalcante Gurgel,
Cristiano Gurgel de Castro,
Marcel Vinicius Medeiros Oliveira:
Tool Support for the CircusRefinement Calculus.
ABZ 2008: 349 |
