Carlos Alberto Lourenco dos Santos
AuthID: R-000-KSH
51
TITLE: Conceptual Model for Continuous Organizational Auditing with Real Time Analysis and Modern Control Theory Full Text
AUTHORS: Carlos Santos; Pedro Sousa; Carla Ferreira; José Tribolet;
PUBLISHED: 2008, SOURCE: Journal of Emerging Technologies in Accounting, VOLUME: 5, ISSUE: 1
AUTHORS: Carlos Santos; Pedro Sousa; Carla Ferreira; José Tribolet;
PUBLISHED: 2008, SOURCE: Journal of Emerging Technologies in Accounting, VOLUME: 5, ISSUE: 1
52
TITLE: Case study: Formal verification and modeling of a hospital emergency department [Caso de estudo: Modelação e verificação formal de um serviço de urgência hospitalar]
AUTHORS: Santos, C; Ferreira, C ; Tribolet, J;
PUBLISHED: 2006, SOURCE: 1a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2006 - 1st Iberian Conference on Information Systems and Technologies, CISTI 2006 in CISTI 2006 - Actas da 1a Conferencia Iberica de Sistemas e Tecnologias de Informacao, VOLUME: 1
AUTHORS: Santos, C; Ferreira, C ; Tribolet, J;
PUBLISHED: 2006, SOURCE: 1a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2006 - 1st Iberian Conference on Information Systems and Technologies, CISTI 2006 in CISTI 2006 - Actas da 1a Conferencia Iberica de Sistemas e Tecnologias de Informacao, VOLUME: 1
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID