Projects per year
Projects
- 1 Active
Search results
-
Active
Analysis of cognitive properties of interactive systems using model checking
1/1/20 → 12/31/22
Project: Monitored by Research Administration