Publicações

Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software

AuthID
P-00Y-ZPC

Author(s)

de Ferro, CM

Mavridou, A

Dille, M

Martins, F

Document Type

Proceedings Paper

Year published

2023

Published

in 2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS, DSN-W in International Conference on Dependable Systems and Networks Workshops, ISSN: 2325-6648

Pages: 263-266 (4)

Conference

53Rd Annual Ieee/Ifip International Conference on Dependable Systems and Networks (Dsn), Date: JUN 27-30, 2023, Location: Porto, PORTUGAL

Indexing

Wos^®

Scopus^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1109/dsn-w58399.2023.00066

Scopus: 2-s2.0-85169471472

Wos: WOS:001050777800045

Source Identifiers

ISSN: 2325-6648

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

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

Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software

Useful Links

Get Help

Autenticação Federada (Click on the image)

Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software

Useful Links

Get Help