Cristin-resultat-ID: 1681596
Sist endret: 28. februar 2019 23:55
Resultat
Programdeltagelse
2018

Can we rely on a software-defined society? The role of formal methods.

Bidragsytere:
  • Volker Stolz

Om resultatet

Programdeltagelse
Publiseringsår: 2018
Sted: https://youtu.be/n8v3HO-Lv8A?t=27032
Type: Internett
Dato: 28. november 2018

Finansiering

  • SiU, Senter for internasjonalisering av utdanning

    • Prosjektkode: 10032
    • Prosjektkode: UTF-2016-CAPES-SIU/10032

Beskrivelse Beskrivelse

Tittel

Can we rely on a software-defined society? The role of formal methods.

Bidragsytere

Aktiv cristin-person

Volker Stolz

  • Tilknyttet:
    Programdeltager
    ved Institutt for data- og realfag ved Høgskulen på Vestlandet
1 - 1 av 1