Toggle navigation
norsk
English
norsk
norsk
English
Logg inn
Toggle navigation
Vis innførsel
Hjem
Høgskulen på Vestlandet
Fakultet for ingeniør- og naturvitskap / Faculty of Engineering and Science
Institutt for datateknologi, elektroteknologi og realfag
Vis innførsel
Hjem
Høgskulen på Vestlandet
Fakultet for ingeniør- og naturvitskap / Faculty of Engineering and Science
Institutt for datateknologi, elektroteknologi og realfag
Vis innførsel
JavaScript is disabled for your browser. Some features of this site may not work without it.
Model Checking Healthcare Workflows using Alloy
Wang, Xiaoliang
;
Rutle, Adrian
Peer reviewed, Journal article
Åpne
Wang+and+Rutle.pdf (297.6Kb)
cristin-1160394.xml (5.460Kb)
Permanent lenke
http://hdl.handle.net/11250/2481685
Utgivelsesdato
2014
Metadata
Vis full innførsel
Samlinger
Institutt for datateknologi, elektroteknologi og realfag
[1160]
Originalversjon
Procedia Computer Science 2014, 37(0):481-488
10.1016/j.procs.2014.08.072
Beskrivelse
-
Med mindre annet er angitt, så er denne innførselen lisensiert som Attribution-NonCommercial-NoDerivatives 3.0 Norway
Hele arkivet
Denne samlingen
Bla i
Hele arkivet
Delarkiv og samlinger
Utgivelsesdato
Forfattere
Titler
Emneord
Dokumenttyper
Tidsskrifter
Denne samlingen
Utgivelsesdato
Forfattere
Titler
Emneord
Dokumenttyper
Tidsskrifter
Min side
Logg inn
Statistikk
Besøksstatistikk