• Udgivet

  Bridging the stakeholder communities that produce cyber-physical systems

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Bidrag til bog/antologi › Forskning

• Udgivet

  Visual Studio Code VDM Support

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

• Udgivet

  Modelling the HUBCAP Sandbox Architecture In VDM: A Study In Security

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

Vis alle (21) »

• Digital Innovation HUBs and Collaborative Platform for Cyber-Physical Systems

  Projekter: Projekt › Forskning

Vis alle (1) »

• 18th International Overture Workshop (Begivenhed)

  Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typer › Redaktør af uafslutttet antologi/samleværk › Formidling

• HUBCAP

  Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Deltagelse i eller organisering af konference

• 18th International Overture Workshop (Begivenhed)

  Aktivitet: Medlemsskab - typer › Medlemskab af udvalg, råd og nævn

Vis alle (7) »