Sort by
Refine Your Search
-
reality and mixed reality; data modelling and databases, in particular the spacecraft reference database; semantic modelling in support of digital continuity and semantic interoperability; digital twin
-
, aligned with a model-based system engineering paradigm; Developing and curating reference asset architectures, threat and control catalogues for instantiating space system risk assessments; Deriving formal
-
research (e.g., integer linear programming and constraint programming); heuristics, meta-heuristics, and evolutionary computations; distributed and cloud computing; automated reasoning (e.g., formal and
Searches related to formal semantics
Enter an email to receive alerts for formal-semantics positions