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
Combinatorial abstraction refinement for feasibility analysis of static priorities
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik. (Embedded Systems)
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik. (Embedded Systems)
2015 (engelsk)Inngår i: Real-time systems, ISSN 0922-6443, E-ISSN 1573-1383, Vol. 51, nr 6, s. 639-674Artikkel i tidsskrift (Fagfellevurdert) Published
sted, utgiver, år, opplag, sider
2015. Vol. 51, nr 6, s. 639-674
HSV kategori
Identifikatorer
URN: urn:nbn:se:uu:diva-265808DOI: 10.1007/s11241-015-9220-5ISI: 000362744100002OAI: oai:DiVA.org:uu-265808DiVA, id: diva2:866704
Tilgjengelig fra: 2015-02-21 Laget: 2015-11-03 Sist oppdatert: 2018-01-10bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekst

Personposter BETA

Stigge, MartinYi, Wang

Søk i DiVA

Av forfatter/redaktør
Stigge, MartinYi, Wang
Av organisasjonen
I samme tidsskrift
Real-time systems

Søk utenfor DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric

doi
urn-nbn
Totalt: 318 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