eBiltegia

    • What is eBiltegia? 
    •   About eBiltegia
    •   Publish your research in open access
    • Open Access at MU 
    •   What is Open Science?
    •   Mondragon Unibertsitatea's Institutional Policy on Open Access to scientific documents and teaching materials
    •   Mondragon Unibertsitatea's Institutional Open Access Policy for Research Data
    •   eBiltegia Digital Preservation Guidelines
    •   The Library compiles and disseminates your publications
    • Euskara
    • Español
    • English

xmlui.dri2xhtml.structural.fecyt

  • 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?
    •   Mondragon Unibertsitatea's Institutional Policy on Open Access to scientific documents and teaching materials
    •   Mondragon Unibertsitatea's Institutional Open Access Policy for Research Data
    •   eBiltegia Digital Preservation Guidelines
    •   The Library compiles and disseminates your publications
  • Login
Search 
  •   eBiltegia MONDRAGON UNIBERTSITATEA
  • Ikerketa-Kongresuak
  • Search
  •   eBiltegia MONDRAGON UNIBERTSITATEA
  • Ikerketa-Kongresuak
  • 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-2 of 2

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

MDE based IoT Service to enhance the safety of controllers at runtime 

Illarramendi, Miren; Etxeberria, Leire; Elkorobarrutia, Xabier; Perez Lazare, Jose María; Larrinaga, Felix; Sagardui, Goiuria (Aachen University, 2019)
One of the challenges for complex IoT software systems is toincrease their safety. A Model Driven Development approach helps in the design and development phase of these systems while runtime checkin gtechniques help to ...
Thumbnail

CRESCO Framework and Checker: Automatic Generation of Reflective UML State Machine's C++ Code and Checker 

Illarramendi, Miren; Etxeberria, Leire; Larrinaga, Felix; Sagardui, Goiuria (IEEE, 2020)
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 atThis CommunityBy Issue DateAuthorsTitlesSubjectsResearch groupsPublished at

My Account

LoginRegister

Discover

Author
Etxeberria, Leire (2)
Illarramendi, Miren (2)
Larrinaga, Felix (2)
Sagardui, Goiuria (2)Elkorobarrutia, Xabier (1)Perez Lazare, Jose María (1)SubjectAdaptation models (1)Hardware (1)IoT Services (1)Models@runtime (1)Monitoring (1)Runtime (1)Runtime Adaptation (1)Runtime Monitoring (1)Runtime Verification (1)Safety (1)... View MoreDate Issued2019 (1)2020 (1)Has File(s)Yes (2)

Harvested by:

OpenAIREBASERecolecta

Validated by:

OpenAIRERebiun
MONDRAGON UNIBERTSITATEA | Library
Contact Us | Send Feedback
DSpace
 

 

Harvested by:

OpenAIREBASERecolecta

Validated by:

OpenAIRERebiun
MONDRAGON UNIBERTSITATEA | Library
Contact Us | Send Feedback
DSpace