Publicações

Formal Simulation and Visualisation of Hybrid Programs An Extension of a Proof-Of-Concept Tool

AuthID
P-017-NP4

Author(s)

Mendes, P

Correia, R

Neves, R

Proença, J

Editor(es)

Luckcuck,M;Xu,M

Tipo de Documento

Proceedings Paper

Year published

2024

Publicado

in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE in EPTCS, ISSN: 2075-2180

Volume: 411, Número: 411, Páginas: 20-37 (228)

Conference

6Th International Workshop on Formal Methods for Autonomous Systems (Fmas), Date: NOV 11-13, 2024, Location: Univ Manchester, Manchester, ENGLAND, Host: Univ Manchester

Indexing

Wos^®

Scopus^®

Dblp^®/pt/publications/view/1300164

Crossref^®

Unpaywall^®

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.4204/eptcs.411.2

DBLP: journals/corr/abs-2411-14365

SCOPUS: 2-s2.0-85211934119

Unpaywall: 10.4204/eptcs.411.2

Wos: WOS:001376926700003

Source Identifiers

ISSN: 2075-2180

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

At this moment we don't have any links to full text documens.

Formal Simulation and Visualisation of Hybrid Programs An Extension of a Proof-Of-Concept Tool

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Formal Simulation and Visualisation of Hybrid Programs An Extension of a Proof-Of-Concept Tool

Links Úteis

Ajuda