Logotyp: till Uppsala universitets webbplats
uu.se
Publikationer från Uppsala universitet
Vänta ...
Enkel sökning
Avancerad sökning -
Forskningspublikationer
Avancerad sökning -
Studentuppsatser
Statistik
English
Svenska
Norsk
Hoppa till innehåll
Ändra sökning
Sök
Sök
Endast dokument med fulltext i DiVA
Referera
Exportera
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Länk till posten
Permanent länk
https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-47756
Direktlänk
https://uu.diva-portal.org/smash/record.jsf?pid=diva2:75663
Referera
Referensformat
apa
ieee
modern-language-association
vancouver
Annat format
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
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
html
text
asciidoc
rtf
Skapa
Stäng
Times: a Tool for Schedulability Analysis and Code Generation of Real-Time Systems
Amnell T, Fersman E, Mokrushin L, Pettersson P and Yi W
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi. Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik. COMPUTER SYSTEMS.
2003 (Engelska)
Ingår i:
To appear in Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS'03, 2003
Konferensbidrag, Publicerat paper (Övrigt vetenskapligt)
Ort, förlag, år, upplaga, sidor
2003.
Identifikatorer
URN:
urn:nbn:se:uu:diva-47756
OAI: oai:DiVA.org:uu-47756
DiVA, id:
diva2:75663
Tillgänglig från:
2006-12-27
Skapad:
2006-12-27
Open Access i DiVA
Fulltext saknas i DiVA
Av organisationen
Institutionen för informationsteknologi
Datorteknik
Sök vidare utanför DiVA
Google
Google Scholar
urn-nbn
Altmetricpoäng
urn-nbn
Totalt: 462 träffar
Referera
Exportera
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Länk till posten
Permanent länk
https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-47756
Direktlänk
https://uu.diva-portal.org/smash/record.jsf?pid=diva2:75663
Referera
Referensformat
apa
ieee
modern-language-association
vancouver
Annat format
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
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
html
text
asciidoc
rtf
Skapa
Stäng
v. 2.47.0
|
WCAG
|
Uppsala universitetsbibliotek
|
Fråga biblioteket
|
Logga in i DiVA
|
Söka och länka i DiVA
DiVA
Logotyp