Speaker
Anastasia Mavridou
KBR/NASA Ames Research Center, United States.
Talks at this conference:
| 16:30 | Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software |
Speaker
KBR/NASA Ames Research Center, United States.
| 16:30 | Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software |