Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Historikk
Cristin-resultat-ID:
1663130
Sist endret:
13. januar 2021, 17:24
Resultat
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
2018
Model-based Testing of Distributed Systems and Protocols with the Coloured Petri Nets
Rui Wang
Bok
Bok
Proceedings of the PhD Symposium at iFM’18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’18)
ISBN:
978-82-7368-435-6
Utgiver
University of Oslo
Serie
Conference proceedings (Universitetet i Oslo. Institutt for informatikk)
ISSN 0806-3036
NVI-nivå 0
Finn i kanalregisteret
Om resultatet
Om resultatet
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Under utgivelse/in press
Publiseringsår: 2018
Hefte: 483
Sider: 11 - 14
ISBN:
978-82-7368-435-6
Lenker
Lenker
ORIA
Søk i ORIA med 978-82-7368-435-6
Klassifisering
Klassifisering
Fagfelt (NPI)
Fagfelt: IKT
- Fagområde: Realfag og teknologi
Beskrivelse
Beskrivelse
Engelsk
Tittel
Model-based Testing of Distributed Systems and Protocols with the Coloured Petri Nets
Bidragsytere
Bidragsytere
Rui Wang
Forfatter
ved Institutt for datateknologi, elektroteknologi og realfag ved Høgskulen på Vestlandet
1
-
1
av
1
Resultatet er en del av
Resultatet er en del av
Proceedings of the PhD Symposium at iFM’18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’18).
Abraham, Erika; Tapia Tarifa, Silvia Lizeth. 2018, UIO
Rapport
1
-
1
av
1