Renato Jorge Araújo Neves
AuthID: R-006-JRC
1
TITLE: Formal Simulation and Visualisation of Hybrid Programs An Extension of a Proof-of-Concept Tool Full Text
AUTHORS: Mendes, Pedro; Correia, Ricardo; Neves, Renato; Proenca, Jose;
PUBLISHED: 2024, SOURCE: 6th International Workshop on Formal Methods for Autonomous Systems (FMAS) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 411
AUTHORS: Mendes, Pedro; Correia, Ricardo; Neves, Renato; Proenca, Jose;
PUBLISHED: 2024, SOURCE: 6th International Workshop on Formal Methods for Autonomous Systems (FMAS) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 411
