Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Historikk
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
Zhiming Liu
og
Volker Stolz
Utgiver/serie
Utgiver/serie
Utgiver
HVL
Om resultatet
Om resultatet
Kompendium
Publiseringsår: 2019
Antall sider: 566
Open Access
Lenker
Lenker
Institusjonsarkiv
hdl.handle.net/11250/2593033
Klassifisering
Klassifisering
Fagfelt (NPI)
Fagfelt: IKT
- Fagområde: Realfag og teknologi
Beskrivelse
Beskrivelse
Engelsk
Tittel
Methods and Tool Support for Refinement, Model Transformation and Verification of Network Systems
Bidragsytere
Bidragsytere
Zhiming Liu
Redaktør
ved Southwest University
Volker Stolz
Redaktør
ved Høgskulen på Vestlandet
1
-
2
av
2
Tilknyttede prosjekter
Tilknyttede prosjekter
Methods and Tool Support for Refinement, Model Transformation and Verification of Network System
Volker Stolz + 6 deltakere
Høgskulen på Vestlandet
1 resultat
Avsluttet prosjekt
1
-
1
av
1