eBiltegia

    • Zer da eBiltegia? 
    •   eBiltegiari buruz
    •   Argitaratu irekian zure ikerketa
    • Sarbide Irekia MUn 
    •   Zer da Zientzia Irekia?
    •   Mondragon Unibertsitatearen dokumentu zientifikoetara eta irakaskuntza-materialetara Sarbide Irekia izateko politika instituzionala
    •   Mondragon Unibertsitatearen ikerketa-datuetara Sarbide Irekia izateko Politika instituzionala
    •   Babes digitalerako jarraibideak
    •   Zure argitalpenak jaso eta zabaldu egiten ditu Bibliotekak
    • Euskara
    • Español
    • English

Laguntzailea:

  • Kontaktua
  • Euskara 
    • Euskara
    • Español
    • English
  • eBiltegia buruz  
    • Zer da eBiltegia? 
    •   eBiltegiari buruz
    •   Argitaratu irekian zure ikerketa
    • Sarbide Irekia MUn 
    •   Zer da Zientzia Irekia?
    •   Mondragon Unibertsitatearen dokumentu zientifikoetara eta irakaskuntza-materialetara Sarbide Irekia izateko politika instituzionala
    •   Mondragon Unibertsitatearen ikerketa-datuetara Sarbide Irekia izateko Politika instituzionala
    •   Babes digitalerako jarraibideak
    •   Zure argitalpenak jaso eta zabaldu egiten ditu Bibliotekak
  • Hasi saioa
Bilatu 
  •   eBiltegia MONDRAGON UNIBERTSITATEA
  • Bilatu
  •   eBiltegia MONDRAGON UNIBERTSITATEA
  • Bilatu
JavaScript is disabled for your browser. Some features of this site may not work without it.

Bilatu

Show Advanced FiltersHide Advanced Filters

Iragazkiak

Muga ezazu bilaketa iragazkiak erabiliz

2-tik 1-2 emaitza erakusten

  • 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 ...

Zerrendatu honako honen arabera

eBiltegia osoaKomunitateak & bildumakArgitalpen dataren araberaEgileakIzenburuakMateriakIkerketa taldeakNon argitaratua

Nire kontua

SartuErregistratu

Arakatu

EgileaEtxeberria, Leire (2)Illarramendi, Miren (2)
Larrinaga, Felix (2)
Sagardui, Goiuria (2)
Elkorobarrutia, Xabier (1)Perez Lazare, Jose María (1)MateriaAdaptation 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)

Nork bildua:

OpenAIREBASERecolecta

Nork balioztatua:

OpenAIRERebiun
MONDRAGON UNIBERTSITATEA | Biblioteka
Kontaktua | Iradokizunak
DSpace
 

 

Nork bildua:

OpenAIREBASERecolecta

Nork balioztatua:

OpenAIRERebiun
MONDRAGON UNIBERTSITATEA | Biblioteka
Kontaktua | Iradokizunak
DSpace