José Francisco Creissac Freitas de Campos


AuthID: R-000-8B9

Confirmed Publications: 145



141
TITLE: Model Checking Interactor Specifications  Full Text
AUTHORS: José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 2001, SOURCE: Autom. Softw. Eng., VOLUME: 8, ISSUE: 3-4
INDEXED IN: Scopus DBLP CrossRef: 42
IN MY: ORCID | DBLP
142
TITLE: Representational Reasoning and Verification  Full Text
AUTHORS: Gavin J Doherty; José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 2000, SOURCE: Formal Aspects Comput., VOLUME: 12, ISSUE: 4
INDEXED IN: Scopus DBLP CrossRef: 9
IN MY: ORCID | DBLP
143
TITLE: Using automated reasoning in the design of an audio-visual communication system
AUTHORS: Campos, JC ; Harrison, MD ;
PUBLISHED: 1999, SOURCE: Eurographics Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS 99) in DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'99
INDEXED IN: WOS DBLP
IN MY: ORCID | ResearcherID | DBLP
144
TITLE: The role of verification in interactive systems design
AUTHORS: Campos, JC ; Harrison, MD ;
PUBLISHED: 1998, SOURCE: Eurographics Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS 98) in DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'98, VOLUME: 1
INDEXED IN: WOS DBLP
IN MY: ORCID | ResearcherID | DBLP
145
TITLE: Formally verifying interactive systems: A review
AUTHORS: José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 1997, SOURCE: Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain
INDEXED IN: DBLP
IN MY: ORCID | DBLP
Page 15 of 15. Total results: 145.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service