VERDI 2023

Speaker

Michael Dille

KBR/NASA Ames Research Center, United States.

Talks at this conference:
 16:30 Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software

 Overview