uu.seUppsala universitets publikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • 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
The Cause-Effect Latency Problem in Real-Time Systems
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
2018 (Engelska)Ingår i: Formal Methods For Industrial Critical Systems, FMICS 2018 / [ed] Howar, F Barnat, J, SPRINGER INTERNATIONAL PUBLISHING AG , 2018, s. XIII-XIIIKonferensbidrag, Publicerat paper (Refereegranskat)
Ort, förlag, år, upplaga, sidor
SPRINGER INTERNATIONAL PUBLISHING AG , 2018. s. XIII-XIII
Serie
Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349 ; 11119
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
URN: urn:nbn:se:uu:diva-391438ISI: 000477763200002ISBN: 978-3-030-00244-2 (digital)ISBN: 978-3-030-00243-5 (tryckt)OAI: oai:DiVA.org:uu-391438DiVA, id: diva2:1357416
Konferens
23rd International Conference on Formal Methods for Industrial Critical Systems (FMICS), SEP 03-04, 2018, Natl Univ Ireland Maynooth, Maynooth, IRELAND
Tillgänglig från: 2019-10-03 Skapad: 2019-10-03 Senast uppdaterad: 2019-10-03Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Table of contents

Personposter BETA

Wang, Yi

Sök vidare i DiVA

Av författaren/redaktören
Wang, Yi
Av organisationen
Datorteknik
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetricpoäng

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

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • 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