Publications

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(s)

Luckcuck,M;Xu,M

Document Type

Proceedings Paper

Year published

2024

Published

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

Volume: 411, Issue: 411, Pages: 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^®/en/publications/view/1300164

Crossref^®

Unpaywall^®

Google Scholar^®

Metadata
Sources

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

Marked List

Add to Marked List

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

Useful Links

Get Help

Federated Authentication (Click on the image)

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

Useful Links

Get Help