kth.se
Please wait ...
Simple search
Advanced search -
Research publications
Advanced search -
Student theses
Statistics
English
Svenska
Norsk
Change 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
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-180648
Direct link
http://kth.diva-portal.org/smash/record.jsf?pid=diva2:895534
Cite
Citation style
apa
harvard1
ieee
modern-language-association-8th-edition
vancouver
Other style
apa
harvard1
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
Tools for Real-Time UML: Formal Verification and Code Synthesis
Amnell, Tobias
David, Alexandre
Fersman, Elena
Division of Computer Systems, Department of Information Technology, Uppsala University.
ORCID iD:
0000-0002-0182-8390
Möller, M. Oliver
Pettersson, Paul
Yi, Wang
Show others and affiliations
2001 (English)
Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
2001.
National Category
Mechanical Engineering Computer and Information Sciences
Identifiers
URN:
urn:nbn:se:kth:diva-180648
OAI: oai:DiVA.org:kth-180648
DiVA, id:
diva2:895534
Conference
Workshop on Specification, Implementation and Validation of Object-oriented Embedded Systems, SIVOES 2001, Budapest, Hungary, June 18-22, 2001
Note
NR 20160216
Available from:
2016-01-19
Created:
2016-01-19
Last updated:
2018-01-10
Bibliographically approved
Open Access in DiVA
No full text in DiVA
Authority records BETA
Fersman, Elena
Search in DiVA
By author/editor
Fersman, Elena
On the subject
Mechanical Engineering
Computer and Information Sciences
Search outside of DiVA
Google
Google Scholar
urn-nbn
Altmetric score
urn-nbn
Total: 63 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
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-180648
Direct link
http://kth.diva-portal.org/smash/record.jsf?pid=diva2:895534
Cite
Citation style
apa
harvard1
ieee
modern-language-association-8th-edition
vancouver
Other style
apa
harvard1
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.35.5
|
KTH Library
|
DiVA support
|
Register in DiVA
|
SwePub
|
Posting your thesis