José Francisco Creissac Freitas de Campos


AuthID: R-000-8B9

Publicações Confirmadas: 157



111
TÍTULO: MapIt: A Model Based Pattern Recovery Tool  Full Text
AUTORES: Rui Couto ; António Nestor Ribeiro ; José Creissac Campos ;
PUBLICAÇÃO: 2012, FONTE: MOMPES, VOLUME: 7706 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID
112
TÍTULO: Modelling and analysing the interactive behaviour of an infusion pump
AUTORES: José Creissac Campos ; Michael D Harrison ;
PUBLICAÇÃO: 2011, FONTE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 45
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
113
TÍTULO: Partial plant models in formal verification of industrial automation discrete systems
AUTORES: José M Machado; Campos, J. Creissac ;
PUBLICAÇÃO: 2011
INDEXADO EM: Handle
114
TÍTULO: Safe controllers design for industrial automation systems  Full Text
AUTORES: Machado, J ; Seabra, E ; Campos, JC ; Soares, F ; Leao, CP ;
PUBLICAÇÃO: 2011, FONTE: COMPUTERS & INDUSTRIAL ENGINEERING, VOLUME: 60, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 20
NO MEU: ORCID
115
TÍTULO: Supporting requirements formulation in software formal verification
AUTORES: Campos, J. Creissac ; José M Machado;
PUBLICAÇÃO: 2011
INDEXADO EM: Handle
116
TÍTULO: Test case generation from mutated task models
AUTORES: Ana Barbosa; Ana C R Paiva ; José Creissac Campos ;
PUBLICAÇÃO: 2011, FONTE: EICS
INDEXADO EM: Scopus DBLP CrossRef: 22
NO MEU: ORCID
117
TÍTULO: The importance of qualitative evaluation on E-learning systems
AUTORES: Luciana Freire; Pedro M Arezes ; Jose C Campos ;
PUBLICAÇÃO: 2011, FONTE: 7th International Symposium on Occupational Safety and Hygiene (SHO) in SHO2011: INTERNATIONAL SYMPOSIUM ON OCCUPATIONAL SAFETY AND HYGIENE
INDEXADO EM: WOS
NO MEU: ORCID | CIÊNCIAVITAE
118
TÍTULO: A Coordination Model for Interactive Components
AUTORES: Barbosa, MA; Barbosa, LS ; Campos, JC ;
PUBLICAÇÃO: 2010, FONTE: 3rd IPM International Conference on Fundamentals of Software Engineering in FUNDAMENTALS OF SOFTWARE ENGINEERING, VOLUME: 5961
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID
119
TÍTULO: From SFC specification to C programming language on the context of aerospace systems control
AUTORES: Borges, P; MacHado, J ; Villani, E; Campos, JC ;
PUBLICAÇÃO: 2010, FONTE: IFAC Workshop on Intelligent Control Systems, WICS2010 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 8, NÚMERO: PART 1
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
120
TÍTULO: GUI Inspection from Source Code Analysis
AUTORES: João Carlos Silva; José Creissac Campos ; João Saraiva ;
PUBLICAÇÃO: 2010, FONTE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 33
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
Página 12 de 16. Total de resultados: 157.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service