https://www.mdu.se/
mdu.se
Publications
System disruptions
There are recurring service disruptions on some of the search portals due to high traffic. We are working to resolve the issue, you may temporarily encounter an error message.
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-73712
Direct link
http://mdu.diva-portal.org/smash/record.jsf?pid=diva2:2005941
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
Identifying Model‐Based Early Validation & Verification Opportunities in Industrial Embedded System Development
Cederbladh, Johan
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
ORCID iD:
0000-0003-2021-8341
Strandberg, Per
Westermo Network Technologies AB, Västerås, Sweden.
Jongeling, Robbert
Mälardalen University, School of Innovation, Design and Engineering, Innovation and Product Realisation.
ORCID iD:
0000-0002-1863-3987
Furunäs Åkesson, Johan
Westermo Network Technologies AB, Västerås, Sweden.
Fridholm, Louise
Westermo Network Technologies AB, Västerås, Sweden.
Cicchetti, Antonio
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
ORCID iD:
0000-0003-0416-1787
Show others and affiliations
(English)
Manuscript (preprint) (Other academic)
National Category
Software Engineering
Identifiers
URN:
urn:nbn:se:mdh:diva-73712
OAI: oai:DiVA.org:mdh-73712
DiVA, id:
diva2:2005941
Available from:
2025-10-13
Created:
2025-10-13
Last updated:
2025-10-13
Bibliographically approved
Open Access in DiVA
No full text in DiVA
Authority records
Cederbladh, Johan
Jongeling, Robbert
Cicchetti, Antonio
Search in DiVA
By author/editor
Cederbladh, Johan
Jongeling, Robbert
Cicchetti, Antonio
By organisation
Embedded Systems
Innovation and Product Realisation
On the subject
Software Engineering
Search outside of DiVA
Google
Google Scholar
urn-nbn
Altmetric score
urn-nbn
Total: 64 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-73712
Direct link
http://mdu.diva-portal.org/smash/record.jsf?pid=diva2:2005941
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.49.0
|
WCAG
|
Mälardalen University Library
|
DiVA Log in
DiVA
Logotyp