Astraios
/
AstraiosData
/
Login
PLDN
AstraiosData
Browser
Triples
Insights
Schema
BETA
Class frequency
Class hierarchy
SPARQL
Elasticsearch
Graphs
17
Services
3
Combination of simulation and formal verification
Combination of simulation and formal verification
PhDPosition
http://astraiosdb.utwente.nl/data/phd_position/29
Combination of simulation and formal verification
PhDPosition
http://astraiosdb.utwente.nl/data/phd_position/29
isPartOfProgramme
DLR Graduate Program
knowledgeArea
Computer Graphics, Computer Simulation, Virtual Reality
knowledgeDomain
Computer Science
type
PhDPosition
label
Combination of simulation and formal verification
@en