Publicações

AuthID
P-019-YRW

Author(s)

Sequeira, T

Editor(es)

Remke,A;Steffen,B

Tipo de Documento

Proceedings Paper

Year published

2026

Publicado

in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2025 in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 16040, Páginas: 144-161 (18)

Conference

30Th International Conference on Formal Methods for Industrial Critical Systems-Fmics-Annual, Date: AUG 27-28, 2025, Location: Arhus, DENMARK

Indexing

Wos^®

Scopus^®

Crossref^®

Google Scholar^®

Publication Identifiers

DOI: 10.1007/978-3-032-00942-5_8

DBLP: conf/fmics/SequeiraP25

SCOPUS: 2-s2.0-105015555494

Wos: WOS:001576368900008

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Lista Marked

Info

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

Links Úteis