kth.se
Publications
Please wait ...
Simple search
Advanced search -
Research publications
Advanced search -
Student theses
Statistics
English
Svenska
Norsk
Jump to content
Change search
Search
Search
Only documents with full text in DiVA
Cite
Export
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all 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
Cite
Citation style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
More styles
Language
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
Formally Verifying Decompositions of Stochastic Specifications (With Proofs)
Hampus, Anton
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Mechatronics.
ORCID iD:
0000-0002-3939-3919
Nyberg, Mattias
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Mechatronics. Scania.
ORCID iD:
0000-0001-6667-3783
2022 (English)
Report (Refereed)
Place, publisher, year, edition, pages
2022. , p. 24
National Category
Computer Sciences
Identifiers
URN:
urn:nbn:se:kth:diva-315290
OAI: oai:DiVA.org:kth-315290
DiVA, id:
diva2:1679441
Conference
FMICS 2022
Note
QC 20220908
Available from:
2022-07-01
Created:
2022-07-01
Last updated:
2022-09-08
Bibliographically approved
Open Access in DiVA
Formally Verifying Decompositions of Stochastic Specifications (With Proofs)
(499 kB)
144 downloads
File information
File name
FULLTEXT01.pdf
File size
499 kB
Checksum
SHA-512
fc3deb54e8da1286dbd003fdeba54b8f3229fa8ce812a8c6e8d9813a9e519d18e7a1ecbc974e6d3da7d5b1da6a7b63b3bcfe7b6d2ce9776de32f4cd16ff6dd65
Type
fulltext
Mimetype
application/pdf
Authority records
Hampus, Anton
Nyberg, Mattias
Search in DiVA
By author/editor
Hampus, Anton
Nyberg, Mattias
By organisation
Mechatronics
On the subject
Computer Sciences
Search outside of DiVA
Google
Google Scholar
Total: 145 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available
urn-nbn
Altmetric score
urn-nbn
Total: 428 hits
Cite
Export
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all 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
Cite
Citation style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
More styles
Language
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
v. 2.47.0
|
WCAG
|
KTH Library
|
DiVA support
|
Register in DiVA
|
Posting your thesis
|
SwePub
DiVA
Logotyp