Renato Jorge Araújo Neves
AuthID: R-006-JRC
1
TÃTULO: An Adequate While-Language for Stochastic Hybrid Computation
AUTORES: Renato Neves; José Proença; Juliana Souza;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2507.15913
AUTORES: Renato Neves; José Proença; Juliana Souza;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2507.15913
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP2
TÃTULO: Formal Simulation and Visualisation of Hybrid Programs An Extension of a Proof-of-Concept Tool Full Text
AUTORES: Mendes, Pedro; Correia, Ricardo; Neves, Renato; Proenca, Jose;
PUBLICAÇÃO: 2024, FONTE: 6th International Workshop on Formal Methods for Autonomous Systems (FMAS) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 411, NÚMERO: 411
AUTORES: Mendes, Pedro; Correia, Ricardo; Neves, Renato; Proenca, Jose;
PUBLICAÇÃO: 2024, FONTE: 6th International Workshop on Formal Methods for Autonomous Systems (FMAS) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 411, NÚMERO: 411
