kth.se
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:kth:diva-315290
Direct link
http://kth.diva-portal.org/smash/record.jsf?pid=diva2:1679441
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
Formally Verifying Decompositions of Stochastic Specifications (With Proofs)
Hampus, Anton
KTH, Skolan för industriell teknik och management (ITM), Maskinkonstruktion (Inst.), Mekatronik.
ORCID-id:
0000-0002-3939-3919
Nyberg, Mattias
KTH, Skolan för industriell teknik och management (ITM), Maskinkonstruktion (Inst.), Mekatronik. Scania.
ORCID-id:
0000-0001-6667-3783
2022 (engelsk)
Rapport (Fagfellevurdert)
sted, utgiver, år, opplag, sider
2022. , s. 24
HSV kategori
Identifikatorer
URN:
urn:nbn:se:kth:diva-315290
OAI: oai:DiVA.org:kth-315290
DiVA, id:
diva2:1679441
Konferanse
FMICS 2022
Merknad
QC 20220908
Tilgjengelig fra:
2022-07-01
Laget:
2022-07-01
Sist oppdatert:
2022-09-08
bibliografisk kontrollert
Open Access i DiVA
Formally Verifying Decompositions of Stochastic Specifications (With Proofs)
(499 kB)
192 nedlastinger
Filinformasjon
Fil
FULLTEXT01.pdf
Filstørrelse
499 kB
Checksum
SHA-512
fc3deb54e8da1286dbd003fdeba54b8f3229fa8ce812a8c6e8d9813a9e519d18e7a1ecbc974e6d3da7d5b1da6a7b63b3bcfe7b6d2ce9776de32f4cd16ff6dd65
Type
fulltext
Mimetype
application/pdf
Person
Hampus, Anton
Nyberg, Mattias
Søk i DiVA
Av forfatter/redaktør
Hampus, Anton
Nyberg, Mattias
Av organisasjonen
Om emnet
Søk utenfor DiVA
Google
Google Scholar
Totalt: 194 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige
urn-nbn
Altmetric
urn-nbn
Totalt: 577 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:kth:diva-315290
Direct link
http://kth.diva-portal.org/smash/record.jsf?pid=diva2:1679441
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.49.0
|
WCAG
|
KTH Bibliotek
|
DiVA support
|
Registrera i DiVA
|
SwePub
DiVA
Logotyp