Carlos Mão de Ferro, Anastasia Mavridou, Michael Dille, Francisco Martins. Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software. In 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2023 - Workshops, Porto, Portugal, June 27-30, 2023. pages 263-266, IEEE, 2023. [doi]
Abstract is missing.