José Francisco Creissac Freitas de Campos


AuthID: R-000-8B9

Publicações Confirmadas: 145



141
TÍTULO: Model Checking Interactor Specifications  Full Text
AUTORES: José Creissac Campos ; Michael D Harrison ;
PUBLICAÇÃO: 2001, FONTE: Autom. Softw. Eng., VOLUME: 8, NÚMERO: 3-4
INDEXADO EM: Scopus DBLP CrossRef: 42
NO MEU: ORCID | DBLP
142
TÍTULO: Representational Reasoning and Verification  Full Text
AUTORES: Gavin J Doherty; José Creissac Campos ; Michael D Harrison ;
PUBLICAÇÃO: 2000, FONTE: Formal Aspects Comput., VOLUME: 12, NÚMERO: 4
INDEXADO EM: Scopus DBLP CrossRef: 9
NO MEU: ORCID | DBLP
143
TÍTULO: Using automated reasoning in the design of an audio-visual communication system
AUTORES: Campos, JC ; Harrison, MD ;
PUBLICAÇÃO: 1999, FONTE: Eurographics Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS 99) in DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'99
INDEXADO EM: WOS DBLP
NO MEU: ORCID | ResearcherID | DBLP
144
TÍTULO: The role of verification in interactive systems design
AUTORES: Campos, JC ; Harrison, MD ;
PUBLICAÇÃO: 1998, FONTE: Eurographics Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS 98) in DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'98, VOLUME: 1
INDEXADO EM: WOS DBLP
NO MEU: ORCID | ResearcherID | DBLP
145
TÍTULO: Formally verifying interactive systems: A review
AUTORES: José Creissac Campos ; Michael D Harrison ;
PUBLICAÇÃO: 1997, FONTE: Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
Página 15 de 15. Total de resultados: 145.

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

Links Úteis

Ajuda

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