Cristin-resultat-ID: 1687472
Sist endret: 25. mars 2019, 13:29
Resultat
Kompendium
2019

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

Bidragsytere:
  • Zhiming Liu og
  • Volker Stolz

Utgiver/serie

Utgiver

HVL

Om resultatet

Kompendium
Publiseringsår: 2019
Antall sider: 566
Open Access

Klassifisering

Fagfelt (NPI)

Fagfelt: Informatikk og datateknikk
- Fagområde: Realfag og teknologi

Beskrivelse Beskrivelse

Tittel

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

Bidragsytere

Zhiming Liu

  • Tilknyttet:
    Redaktør
    ved Southwest University
Aktiv cristin-person

Volker Stolz

  • Tilknyttet:
    Redaktør
    ved Høgskulen på Vestlandet
1 - 2 av 2