https://www.mdu.se/

mdu.sePublications
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.
EnglishSvenskaNorsk
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation 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
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Component Models for Reasoning
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. (IS (Embedded Systems))ORCID iD: 0000-0003-2870-2680
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. (IS (Embedded Systems))ORCID iD: 0000-0002-5278-755X
2013 (English)In: Computer, ISSN 0018-9162, Vol. 46, no 11, p. 40-47Article in journal (Refereed) Published
Abstract [en]

Component models with a rich specification—that is, component models built for reasoning—facilitate the use of different analysis and prediction techniques that simplify a system’s design while increasing trust in its correct functioning.
Place, publisher, year, edition, pages
United States: IEEE Computer Society , 2013. Vol. 46, no 11, p. 40-47
Keywords [en]
component models, reasoning, encapsulation
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-23401DOI: 10.1109/MC.2013.335ISI: 000327605900016Scopus ID: 2-s2.0-84890018959OAI: oai:DiVA.org:mdh-23401DiVA, id: diva2:677747
Projects
CONTESSE - Contract-Based Components for Embedded SoftwareARROWS - Design Techniques for Adaptive Embedded SystemsRALF3 - Software for Embedded High Performance ArchitecturesVeriSpec. Structured Specification and Automated Verification for Automotive Functional SafetyAvailable from: 2013-12-10 Created: 2013-12-10 Last updated: 2025-10-10Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Seceleanu, CristinaCrnkovic, Ivica

Search in DiVA

By author/editor
Seceleanu, CristinaCrnkovic, Ivica
By organisation
Embedded Systems
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 234 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation 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
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
v. 2.49.0
|
WCAG
|
Mälardalen University Library
|
DiVA Log in