Cristin-prosjekt-ID: 546600
Sist endret: 25. mars 2019 12:05
Cristin-prosjekt-ID: 546600
Sist endret: 25. mars 2019 12:05
Prosjekt

Methods and Tool Support for Refinement, Model Transformation and Verification of Network System

prosjektleder

Volker Stolz
ved Institutt for data- og realfag ved Høgskulen på Vestlandet

prosjekteier / koordinerende forskningsansvarlig enhet

  • Høgskulen på Vestlandet

Finansiering

  • TotalbudsjettNOK 297.850

  • SiU, Senter for internasjonalisering av utdanning

    • Prosjektkode: UTF-2016-short-term/10049

Klassifisering

Vitenskapsdisipliner

Teoretisk databehandling, programmeringsspråk og -teori

Kategorier

Prosjektkategori

  • Bidragsprosjekt
  • Grunnforskning

Tidsramme

Avsluttet
Start: 1. januar 2017 Slutt: 31. desember 2018

Beskrivelse Beskrivelse

Tittel

Methods and Tool Support for Refinement, Model Transformation and Verification of Network System

prosjektdeltakere

prosjektleder
Aktiv cristin-person

Volker Stolz

  • Tilknyttet:
    Prosjektleder
    ved Institutt for data- og realfag ved Høgskulen på Vestlandet
Aktiv cristin-person

Fernando Macias Gomez de Villar

  • Tilknyttet:
    Prosjektdeltaker
    ved Høgskulen på Vestlandet
  • Tilknyttet:
    Prosjektdeltaker
    ved Institutt for informatikk ved Universitetet i Oslo

Dan Li

  • Tilknyttet:
    Prosjektdeltaker
    ved Guizhou Academy of Sciences
  • Tilknyttet:
    Prosjektdeltaker
    ved Institutt for data- og realfag ved Høgskulen på Vestlandet

Rui Wang

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

Ka I Pun

  • Tilknyttet:
    Prosjektdeltaker
    ved Institutt for informatikk ved Universitetet i Bergen
1 - 5 av 7 | Neste | Siste »

Resultater Resultater

Methods and Tool Support for Refinement, Model Transformation and Verification of Network Systems.

Liu, Zhiming; Stolz, Volker. 2019, SWU, HVLKompendium
1 - 1 av 1