Institut for Ingeniørvidenskab

• Udgivet

  Migrating the INTO-CPS Application to the Cloud

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

• Udgivet

  Towards a Static Check of FMUs in VDM-SL

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

• Udgivet

  Embedding deviation-tolerance in a harvest logistic solution

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

Vis alle (9) »

• 1st International Workshop on Robotics Software Engineering (Begivenhed)

  Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typer › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

• 22nd International Symposium on Formal Methods (Begivenhed)

  Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typer › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

• 23rd International Conference on Formal Methods for Industrial Critical Systems (Begivenhed)

  Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typer › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

Vis alle (4) »