Logo: to the web site of Uppsala University

uu.sePublications from Uppsala University
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata
Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Information Technology. Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Information Technology, Computer Systems. Datorteknik.
Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Information Technology. Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Information Technology, Computer Systems. Datorteknik.
2006 (English)In: ARTES - A network for Real-Time research and graduate Education in Sweden 1997-2006, Uppsala: Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Information Technology , 2006, p. 259-280Chapter in book (Other scientific)
Abstract [en]

This book summarizes the results of the Swedish national real-time systems research initiative ARTES and provides a few representative examples of the science and scientific results that have emerged from ARTES. ARTES was supported by the Swedish Foundation for Strategic Research (SSF) with totally 95 million SEK from 1998 to 2006. ARTES has united and enforced the Swedish research community in real-time and embedded systems, and has been instrumental in advancing Sweden'sThis book summarizes the results of the Swedish national real-time systems research initiative ARTES and provides a few representative examples of the science and scientific results that have emerged from ARTES. ARTES was supported by the Swedish Foundation for Strategic Research (SSF) with totally 95 million SEK from 1998 to 2006. ARTES has united and enforced the Swedish research community in real-time and embedded systems, and has been instrumental in advancing Sweden's international position in this area. ARTES has provided a catalytic effect and loose coordination of a total research effort many times larger than the funding provided by SSF. This has created important synergies between disciplines, enforced industrial relevance in the research, and provided important academic and industrial networking for approximately 100 senior researchers and some 200 post-graduate students. international position in this area. ARTES has provided a catalytic effect and loose coordination of a total research effort many times larger than the funding provided by SSF. This has created important synergies between disciplines, enforced industrial relevance in the research, and provided important academic and industrial networking for approximately 100 senior researchers and some 200 post-graduate students.

Place, publisher, year, edition, pages
Uppsala: Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Information Technology , 2006. p. 259-280
Identifiers
URN: urn:nbn:se:uu:diva-19174ISBN: 91-506-1859-8 (print)OAI: oai:DiVA.org:uu-19174DiVA, id: diva2:46946
Available from: 2007-01-05 Created: 2007-01-05

Open Access in DiVA

No full text in DiVA

Other links

http://publications.uu.se/abstract.xsql?dbid=6628

Authority records

Krcal, PavelYi, Wang

Search in DiVA

By author/editor
Krcal, PavelYi, Wang
By organisation
Department of Information TechnologyComputer Systems

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 461 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf