Please wait ...
Simple search
Advanced search -
Research publications
Advanced search -
Student theses
Statistics
English
Svenska
Norsk
Jump to content
Change search
Search
Search
Only documents with full text in DiVA
Cite
Export
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
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-35411
Direct link
http://ltu.diva-portal.org/smash/record.jsf?pid=diva2:1008664
Cite
Citation style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
More styles
Language
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
Formal aspects of component-based design of embedded real-time systems
Kruglyak, Andrey
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Embedded Internet Systems Lab.
2011 (English)
Conference paper, Oral presentation only (Refereed)
Place, publisher, year, edition, pages
2011.
National Category
Embedded Systems
Research subject
Embedded System
Identifiers
URN:
urn:nbn:se:ltu:diva-35411
Local ID: 9f2683ba-bc92-4eec-965d-23550e555121
OAI: oai:DiVA.org:ltu-35411
DiVA, id:
diva2:1008664
Conference
International Symposium on Formal Aspects of Component Software : 14/09/2011 - 16/09/2011
Note
Godkänd; 2011; 20120201 (andreyk)
Available from:
2016-09-30
Created:
2016-09-30
Last updated:
2023-09-06
Bibliographically approved
Open Access in DiVA
fulltext
(141 kB)
93 downloads
File information
File name
FULLTEXT01.pdf
File size
141 kB
Checksum
SHA-512
26536ae1e2536f374c94cf72effb8b5ac8cd6cafce711482a369bf23617f83bc2bd2a4b1d35d43d8a9ee96ebbbae4edd6fa675111b6e313de9c4e828e36a8713
Type
fulltext
Mimetype
application/pdf
Authority records
Kruglyak, Andrey
Search in DiVA
By author/editor
Kruglyak, Andrey
By organisation
Embedded Internet Systems Lab
On the subject
Embedded Systems
Search outside of DiVA
Google
Google Scholar
Total: 93 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available
urn-nbn
Altmetric score
urn-nbn
Total: 105 hits
Cite
Export
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
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-35411
Direct link
http://ltu.diva-portal.org/smash/record.jsf?pid=diva2:1008664
Cite
Citation style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
More styles
Language
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
v. 2.46.0
|
Researcher: Register
|
Student: Register
|
Contact
|
WCAG
DiVA
Logotyp