Graph explorer

Research map

Explore the papers, people and topics connected to your research.

C. Ferreira
Map detail
C. Ferreira5 visible / 5 total nodes / 4 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipC. FerreiraAC. FerreiraResearcherAutomatic Generation of C-code or PLD Circuits under SFC Graphical EnvironmentWAutomatic Generation of...preprint / 2011Towards Automated Verification of Web ServicesWTowards Automated Verif...preprint / 2011Concurrent Development of Model and ImplementationWConcurrent Development ...preprint / 2011Model-Based Trace-CheckingWModel-Based Trace-Checkingpreprint / 2011
Person4 links

C. Ferreira

Researcher