Project Details
| Acronym | NTVE |
|---|---|
| Status | Active |
| Effective start/end date | 15/11/2021 → 14/11/2024 |
Collaborative partners
- King's College London (lead)
- University of Illinois Urbana Champaign
Funding
- Royal Society: £11,200.00
Nominal Techniques for Verification Environments
- Fernandez, Maribel (Primary Investigator)
- Urban, Christian (Co-Investigator)
Project: Research