C. Ferreira

Identifiers

• name variant C. Ferreira 0.60 · backfill

Papers (4)

1. Automatic Generation of C-code or PLD Circuits under SFC Graphical Environment cs.SY · 2011 · author #1
2. Concurrent Development of Model and Implementation cs.SE · 2011 · author #4
3. Model-Based Trace-Checking cs.LO · 2011 · author #4
4. Towards Automated Verification of Web Services cs.LO · 2011 · author #2

Mentions

• 1204.5677 #1 · arxiv_oai · confidence 0.70 C. Ferreira
• 1204.5677 #1 · backfill · confidence 0.70 C. Ferreira
• 1111.2826 #4 · backfill · confidence 0.70 C. Ferreira
• 1111.2825 #4 · backfill · confidence 0.70 C. Ferreira
• 1111.2824 #2 · backfill · confidence 0.70 C. Ferreira

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