uu.seUppsala universitets publikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Annet format
Fler format
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
The Cause-Effect Latency Problem in Real-Time Systems
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
2018 (engelsk)Inngår i: Formal Methods For Industrial Critical Systems, FMICS 2018 / [ed] Howar, F Barnat, J, SPRINGER INTERNATIONAL PUBLISHING AG , 2018, s. XIII-XIIIKonferansepaper, Publicerat paper (Fagfellevurdert)
sted, utgiver, år, opplag, sider
SPRINGER INTERNATIONAL PUBLISHING AG , 2018. s. XIII-XIII
Serie
Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349 ; 11119
HSV kategori
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
Konferanse
23rd International Conference on Formal Methods for Industrial Critical Systems (FMICS), SEP 03-04, 2018, Natl Univ Ireland Maynooth, Maynooth, IRELAND
Tilgjengelig fra: 2019-10-03 Laget: 2019-10-03 Sist oppdatert: 2019-10-03bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Table of contents

Personposter BETA

Wang, Yi

Søk i DiVA

Av forfatter/redaktør
Wang, Yi
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric

isbn
urn-nbn
Totalt: 4 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Annet format
Fler format
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