kth.sePublikationer KTH
EnglishSvenskaNorsk
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Formally Verifying Decompositions of Stochastic Specifications (With Proofs)
KTH, Skolan för industriell teknik och management (ITM), Maskinkonstruktion (Inst.), Mekatronik.ORCID-id: 0000-0002-3939-3919
KTH, Skolan för industriell teknik och management (ITM), Maskinkonstruktion (Inst.), Mekatronik. Scania.ORCID-id: 0000-0001-6667-3783
2022 (Engelska)Rapport (Refereegranskat)
Ort, förlag, år, upplaga, sidor
2022. , s. 24
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
URN: urn:nbn:se:kth:diva-315290OAI: oai:DiVA.org:kth-315290DiVA, id: diva2:1679441
Konferens
FMICS 2022
Anmärkning

QC 20220908

Tillgänglig från: 2022-07-01 Skapad: 2022-07-01 Senast uppdaterad: 2022-09-08Bibliografiskt granskad

Open Access i DiVA

Formally Verifying Decompositions of Stochastic Specifications (With Proofs)(499 kB)192 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 499 kBChecksumma SHA-512
fc3deb54e8da1286dbd003fdeba54b8f3229fa8ce812a8c6e8d9813a9e519d18e7a1ecbc974e6d3da7d5b1da6a7b63b3bcfe7b6d2ce9776de32f4cd16ff6dd65
Typ fulltextMimetyp application/pdf

Person

Hampus, AntonNyberg, Mattias

Sök vidare i DiVA

Av författaren/redaktören
Hampus, AntonNyberg, Mattias
Av organisationen
Mekatronik
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 194 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 577 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
v. 2.49.0
|
WCAG
|
KTH Bibliotek
|
DiVA support
|
Registrera i DiVA
|
Spikning av avhandling
|
SwePub
|
Om öppen tillgång