Skip to main content
Main navigation
News
Activities
Apply
Activities
Search
Prime contractor
BARCELONA SUPERCOMPUTING CENTER
Activity Type
Study
Organisational Unit
TEC-QQS
Country
Spain
Main application area
Generic for multiple space applications
Status
Running
Related OSIP Campaign
New concepts for onboard software development
CD Area
CD 9 Digital Engineering
Topical cluster
Search
Clear
1 results found
Running
Formal methods for GPU software development and verification
12/12/22
BARCELONA SUPERCOMPUTING CENTER
Study
Spain
ES