kth.sePublications KTH
System disruptions
There are recurring service disruptions on some of the search portals due to high traffic. We are working to resolve the issue, you may temporarily encounter an error message.
EnglishSvenskaNorsk
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation 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
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Formally Verifying Decompositions of Stochastic Specifications (With Proofs)
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Mechatronics.ORCID iD: 0000-0002-3939-3919
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-315290OAI: oai:DiVA.org:kth-315290DiVA, id: diva2:1679441
Conference
FMICS 2022
Note

QC 20220908

Available from: 2022-07-01 Created: 2022-07-01 Last updated: 2022-09-08Bibliographically approved

Open Access in DiVA

Formally Verifying Decompositions of Stochastic Specifications (With Proofs)(499 kB)192 downloads
File information
File name FULLTEXT01.pdfFile size 499 kBChecksum SHA-512
fc3deb54e8da1286dbd003fdeba54b8f3229fa8ce812a8c6e8d9813a9e519d18e7a1ecbc974e6d3da7d5b1da6a7b63b3bcfe7b6d2ce9776de32f4cd16ff6dd65
Type fulltextMimetype application/pdf

Authority records

Hampus, AntonNyberg, Mattias

Search in DiVA

By author/editor
Hampus, AntonNyberg, Mattias
By organisation
Mechatronics
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 194 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: 577 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation 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
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
v. 2.49.0
|
WCAG
|
KTH Library
|
DiVA support
|
Register in DiVA
|
Posting your thesis
|
SwePub
|
About Open Access