Carlos Nuno Bizarro e Silva Laranjeiro


AuthID: R-000-PX1

Publicações a aguardar confirmação

11
TÍTULO: Addressing Verification and Validation Challenges in Future Cyber-Physical Systems
AUTORES: Nuno Laranjeiro; Camilo Gomez; Enrico Schiavone; Leonardo Montecchi; Manoel J M Carvalho; Paolo Lollinik; Zoltan Micskei;
PUBLICAÇÃO: 2019, FONTE: 9th Latin-American Symposium on Dependable Computing (LADC) in 2019 9TH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC)
INDEXADO EM: WOS
12
TÍTULO: Understanding interoperability issues of web service frameworks
AUTORES: Elia, IA; Laranjeiro, N; Vieira, M;
PUBLICAÇÃO: 2014, FONTE: 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2014 in Proceedings of the International Conference on Dependable Systems and Networks
INDEXADO EM: Scopus
13
TÍTULO: Introduction to the Safecomp 2014 Workshop: DEvelopment, Verification and VAlidation of cRiTical Systems (DEVVARTS '14)
AUTORES: Francesco Brancati; Nuno Laranjeiro; Abel Hegedues;
PUBLICAÇÃO: 2014, FONTE: 33rd SAFECOMP Workshop in COMPUTER SAFETY, RELIABILITY, AND SECURITY, VOLUME: 8696
INDEXADO EM: WOS
14
15
Página 2 de 2. Total de resultados: 15.

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

Links Úteis

Ajuda

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