vente ...
Enkelt søk
Avansert søk -
Forskningspublikasjoner
Avansert søk -
Studentoppgaver
Statistikk
English
Svenska
Norsk
Jump to content
Endre søk
Søk
Søk
Kun dokumenter med fulltekst i DiVA
Referera
Exportera
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 4
CSV alle metadata
CSV alle metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:bth-9452
Direct link
http://bth.diva-portal.org/smash/record.jsf?pid=diva2:837302
Referera
Referensformat
apa
ieee
modern-language-association-8th-edition
vancouver
Annet format
apa
ieee
modern-language-association-8th-edition
vancouver
Annet format
Fler format
Språk
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annet språk
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annet språk
Fler språk
Utmatningsformat
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Skapa
Stäng
Safe Execution of Unreliable Software
Mellstrand, Per
Gustavsson, Rune
Ansvarlig organisasjon
Blekinge Tekniska Högskola, Institutionen för programvaruteknik och datavetenskap
2003 (engelsk)
Inngår i:
Electronic Notes in Theoretical Computer Science, E-ISSN 1571-0661, Vol. 85, nr 3, s. 71-88
Artikkel i tidsskrift (Fagfellevurdert) Published
sted, utgiver, år, opplag, sider
2003. Vol. 85, nr 3, s. 71-88
HSV kategori
Identifikatorer
URN:
urn:nbn:se:bth-9452
Lokal ID: oai:bth.se:forskinfoE04A9BAD3C42A230C1256DA400508B79
OAI: oai:DiVA.org:bth-9452
DiVA, id:
diva2:837302
Tilgjengelig fra:
2012-09-18
Laget:
2003-09-17
Sist oppdatert:
2025-09-30
bibliografisk kontrollert
Open Access i DiVA
Fulltekst mangler i DiVA
Person
Gustavsson, Rune
Søk i DiVA
Av forfatter/redaktør
Gustavsson, Rune
I samme tidsskrift
Electronic Notes in Theoretical Computer Science
Om emnet
Søk utenfor DiVA
Google
Google Scholar
urn-nbn
Altmetric
urn-nbn
Totalt: 109 treff
Referera
Exportera
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 4
CSV alle metadata
CSV alle metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:bth-9452
Direct link
http://bth.diva-portal.org/smash/record.jsf?pid=diva2:837302
Referera
Referensformat
apa
ieee
modern-language-association-8th-edition
vancouver
Annet format
apa
ieee
modern-language-association-8th-edition
vancouver
Annet format
Fler format
Språk
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annet språk
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annet språk
Fler språk
Utmatningsformat
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Skapa
Stäng
v. 2.47.0
|
WCAG
|
BTHs bibliotek
|
Publicera
|
Hur jag publicerar/registrerar
|
Diva portal
|
SwePub
|
Uppsök
DiVA
Logotyp