eBiltegia

    • Euskara
    • Español
    • English
  • Contact Us
  • English 
    • Euskara
    • Español
    • English
  • About eBiltegia  
    • What is eBiltegia? 
    •   About eBiltegia
    •   Publish your research in open access
    • Open Access at MU 
    •   What is Open Science?
    •   Open Access institutional policy
    •   The Library compiles and disseminates your publications
  • Login
Search 
  •   eBiltegia MONDRAGON UNIBERTSITATEA
  • Search
  •   eBiltegia MONDRAGON UNIBERTSITATEA
  • Search
JavaScript is disabled for your browser. Some features of this site may not work without it.

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-3 of 3

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
Thumbnail

Increasing dependability in Safety Critical CPSs using Reflective Statecharts 

Illarramendi, Miren; Elkorobarrutia, Xabier; Etxeberria, Leire; Sagardui, Goiuria (Springer, 2017)
Dependability is crucial in Safety Critical Cyber Physical Systems (CPS). In spite of the research carried out in recent years, implementation and certification of such systems remain costly and time consuming. In this ...
Thumbnail

Exekuzio Denboran barne egoera ikusi eta aldatzea ahalbideratzen duten UML Egoera Makinak 

Illarramendi, Miren; Etxeberria, Leire; Elkorobarrutia, Xabier; Sagardui, Goiuria (UEU, 2019)
In current industrial environments, the software of embedded systems have to cope with the increasing complexity and robustness requirements at runtime. One way to manage these requirements is having the software component’s ...
Thumbnail

Runtime Contracts Checker: Increasing Robustness of Component-Based Software Systems 

Illarramendi, Miren; Etxeberria, Leire; Elkorobarrutia, Xabier; Sagardui, Goiuria (IOP Publishing, 2019)
Software Systems are becoming increasingly complex leading to new Validation &Verification challenges. Model checking and testing techniques are used at development time while runtime verification aims to verify that a ...

Browse

All of eBiltegiaCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsResearch groupsPublished at

My Account

LoginRegister

Discover

Author4fdb2b2d78ea94c4088771d8dea5d1fb (3)59a2375f63fb24493a1207d35262c78a (3)
835b57e943ac41a790291ab690b3f08b (3)
ca8ec5bf6c7e09b128ea966bd5551142 (3)
SubjectCyber Physical Systems (1)Embedded systems (1)Exekuzio denborako eraldatzea (1)Fault Tolerance (1)Introspection (1)Models@runtime (1)monitoring (1)Reflection (1)Runtime Adaptation (1)Safety-critical embedded systems (1)... View MoreDate Issued2019 (2)2017 (1)Has File(s)Yes (3)

Harvested by:

OpenAIREBASE

Validated by:

OpenAIRERebiun
MONDRAGON UNIBERTSITATEA | Library
Contact Us | Send Feedback
DSpace
 

 

Harvested by:

OpenAIREBASE

Validated by:

OpenAIRERebiun
MONDRAGON UNIBERTSITATEA | Library
Contact Us | Send Feedback
DSpace