Logo: to the web site of Uppsala University
uu.se
Publikasjoner fra Uppsala universitet
vente ...
Enkelt søk
Avansert søk -
Forskningspublikasjoner
Avansert søk -
Studentoppgaver
Statistikk
English
Svenska
Norsk
Jump to content
Endre søk
Søk
Søk
Kun dokumenter med fulltekst i DiVA
Referera
Exportera
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 4
CSV alle metadata
CSV alle metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-47756
Direct link
http://uu.diva-portal.org/smash/record.jsf?pid=diva2:75663
Referera
Referensformat
apa
ieee
modern-language-association
vancouver
Annet format
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
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
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 (engelsk)
Inngår i:
To appear in Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS'03, 2003
Konferansepaper, Publicerat paper (Annet vitenskapelig)
sted, utgiver, år, opplag, sider
2003.
Identifikatorer
URN:
urn:nbn:se:uu:diva-47756
OAI: oai:DiVA.org:uu-47756
DiVA, id:
diva2:75663
Tilgjengelig fra:
2006-12-27
Laget:
2006-12-27
Open Access i DiVA
Fulltekst mangler i DiVA
Av organisasjonen
Søk utenfor DiVA
Google
Google Scholar
urn-nbn
Altmetric
urn-nbn
Totalt: 461 treff
Referera
Exportera
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 4
CSV alle metadata
CSV alle metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-47756
Direct link
http://uu.diva-portal.org/smash/record.jsf?pid=diva2:75663
Referera
Referensformat
apa
ieee
modern-language-association
vancouver
Annet format
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
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
html
text
asciidoc
rtf
Skapa
Stäng
v. 2.47.0
|
WCAG
|
Uppsala universitetsbibliotek
|
Spør biblioteket
|
DiVA Logg in
|
Søk og lenke i DiVA (svensk)
DiVA
Logotyp