Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software.

Carlos Mo de Ferro, Anastasia Mavridou, Michael Dille, Francisco Martins

Browse the full DSN paper archive.