André Filipe Couto de Carvalho
AuthID: R-000-1P7
11
TITLE: Model-Checking Temporal Properties of Real-Time HTL Programs
AUTHORS: Andre Carvalho; Joel Carvalho; Jorge Sousa Pinto ; Simao Melo de Sousa ;
PUBLISHED: 2010, SOURCE: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, VOLUME: 6416, ISSUE: PART 2
AUTHORS: Andre Carvalho; Joel Carvalho; Jorge Sousa Pinto ; Simao Melo de Sousa ;
PUBLISHED: 2010, SOURCE: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, VOLUME: 6416, ISSUE: PART 2
12
TITLE: THE NEUROPAD (R) TEST In the Screening of Peripheral Neuropathy in Diabetic Patients Full Text
AUTHORS: Claudia Freitas; Andre Carvalho; Gustavo Melo Rocha; Claudia Amaral; Sara Pinto; Rosa Guimaraes; Helena Neto; Jose Suascun; Jose Muras; Isabel Goncalves; Joana Martins; Jorge Dores; Rui Carvalho; Fatima Borges;
PUBLISHED: 2009, SOURCE: ACTA MEDICA PORTUGUESA, VOLUME: 22, ISSUE: 6
AUTHORS: Claudia Freitas; Andre Carvalho; Gustavo Melo Rocha; Claudia Amaral; Sara Pinto; Rosa Guimaraes; Helena Neto; Jose Suascun; Jose Muras; Isabel Goncalves; Joana Martins; Jorge Dores; Rui Carvalho; Fatima Borges;
PUBLISHED: 2009, SOURCE: ACTA MEDICA PORTUGUESA, VOLUME: 22, ISSUE: 6
INDEXED IN: 
WOS
WOS