https://www.mdu.se/
mdu.se
Publications
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:mdh:diva-37611
Direct link
http://mdh.diva-portal.org/smash/record.jsf?pid=diva2:1169806
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
Runtime compositional analysis of track-based traffic control systems
Bagheri, M.
Sharif University of Technology, Tehran, Iran.
Khamespanah, E.
Sharif University of Technology, Tehran, Iran.
Sirjani, Marjan
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Reykjavik University, Reykjavik, Iceland.
Movaghar, A.
Sharif University of Technology, Tehran, Iran.
Lee, A. E.
University of California at Berkeley.
Show others and affiliations
2017 (English)
In:
ACM SIGBED Review, ISSN 1551-3688, Vol. 14, no 3, p. 38-39
Article in journal (Refereed) Published
Place, publisher, year, edition, pages
2017. Vol. 14, no 3, p. 38-39
National Category
Computer Systems
Identifiers
URN:
urn:nbn:se:mdh:diva-37611
DOI:
10.1145/3166227.3166233
OAI: oai:DiVA.org:mdh-37611
DiVA, id:
diva2:1169806
Available from:
2017-12-29
Created:
2017-12-29
Last updated:
2017-12-29
Bibliographically approved
Open Access in DiVA
No full text in DiVA
Other links
Publisher's full text
Search in DiVA
By author/editor
Sirjani, Marjan
By organisation
Embedded Systems
On the subject
Computer Systems
Search outside of DiVA
Google
Google Scholar
doi
urn-nbn
Altmetric score
doi
urn-nbn
Total: 92 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:mdh:diva-37611
Direct link
http://mdh.diva-portal.org/smash/record.jsf?pid=diva2:1169806
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.45.0
|
WCAG
|
Mälardalen University Library
|
DiVA Log in
DiVA
Logotyp