hh.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:hh:diva-20329
Direct link
http://hh.diva-portal.org/smash/record.jsf?pid=diva2:583427
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
Automated Verification of Executable UML Models
Hansen, Helle Hvid
Eindhoven University of Technology, Eindhoven, The Netherlands.
Ketema, Jeroen
University of Twente, Enschede, The Netherlands.
Luttik, Bas
Eindhoven University of Technology, Eindhoven, The Netherlands.
Mousavi, Mohammad Reza
Eindhoven University of Technology, Eindhoven, The Netherlands.
ORCID iD:
0000-0002-4869-6794
van de Pol, Jaco
University of Twente, Enschede, The Netherlands.
Osmar Marchi dos Santos, Osmar
University of York, York, England.
Show others and affiliations
2011 (English)
In:
Post-Proceedings of the International Symposium on Formal Methods for Components and Objects (FMCO 2010) / [ed] Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue, Heidelberg: Springer, 2011, Vol. 6957, p. 225-250
Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
Heidelberg: Springer, 2011. Vol. 6957, p. 225-250
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 6957
National Category
Computer and Information Sciences
Identifiers
URN:
urn:nbn:se:hh:diva-20329
DOI:
10.1007/978-3-642-25271-6_12
Scopus ID:
2-s2.0-84255177328
ISBN:
978-3-642-25270-9
ISBN:
978-3-642-25271-6
OAI: oai:DiVA.org:hh-20329
DiVA, id:
diva2:583427
Conference
9th International Symposium on Formal Methods for Components and Objects (FMCO 2010), Graz, Austria, 29 November - 1 December
Available from:
2013-01-08
Created:
2013-01-08
Last updated:
2018-01-11
Bibliographically approved
Open Access in DiVA
No full text in DiVA
Other links
Publisher's full text
Scopus
Authority records
Mousavi, Mohammad Reza
Search in DiVA
By author/editor
Mousavi, Mohammad Reza
On the subject
Computer and Information Sciences
Search outside of DiVA
Google
Google Scholar
doi
isbn
urn-nbn
Altmetric score
doi
isbn
urn-nbn
Total: 98 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:hh:diva-20329
Direct link
http://hh.diva-portal.org/smash/record.jsf?pid=diva2:583427
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.40.0
|
WCAG
|
Halmstad University Library
|
Info for students
|
Info for researchers
|
Log in
DiVA
Logotyp