C. Ferreira
Identifiers
- name variant C. Ferreira 0.60 · backfill
Papers (4)
- Automatic Generation of C-code or PLD Circuits under SFC Graphical Environment cs.SY · 2011 · author #1
- Concurrent Development of Model and Implementation cs.SE · 2011 · author #4
- Model-Based Trace-Checking cs.LO · 2011 · author #4
- Towards Automated Verification of Web Services cs.LO · 2011 · author #2
Mentions
Frequent Coauthors
- A.Gravell 2 shared papers
- J.C. Augusto 2 shared papers
- S. Gruner 2 shared papers
- Y. Howard 2 shared papers
- C. Vaz 1 shared papers
- J. Monteiro 1 shared papers
- S. Monteiro 1 shared papers