Zobrazeno 1 - 5
of 5
pro vyhledávání: '"systèmes cyberphysiques"'
Autor:
Lezoche, Mario
Publikováno v:
Computer Science [cs]. Université de Lorraine, 2021
This text presents my research and teaching activities in the CRAN laboratory and at the IUT Hubert Curien in Epinal between 2012 and 2020. These are globally inscribed in the formalisation and extraction of knowledge in systems related to the intell
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2592::334bfb086eb72e6e1eee34b84e4ba3ae
https://hal.univ-lorraine.fr/tel-03178698v2/document
https://hal.univ-lorraine.fr/tel-03178698v2/document
Autor:
Lezoche, Mario
Publikováno v:
Computer Science [cs]. Université de Lorraine, 2021
This text presents my research and teaching activities in the CRAN laboratory and at the IUT Hubert Curien in Epinal between 2012 and 2020. These are globally inscribed in the formalisation and extraction of knowledge in systems related to the intell
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::334bfb086eb72e6e1eee34b84e4ba3ae
https://hal.univ-lorraine.fr/tel-03178698v2/document
https://hal.univ-lorraine.fr/tel-03178698v2/document
Autor:
Blein, Yoann
Publikováno v:
Software Engineering [cs.SE]. Université Grenoble Alpes, 2019. English
Runtime verification is a promising technique to improve the safety of complex systems. These systems can be instrumented to produce execution traces enabling us to observe their usage in the field. A significant challenge is to provide software engi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2592::789c4636d1eced63a7750a4ad307bef5
https://hal.univ-grenoble-alpes.fr/tel-02269062
https://hal.univ-grenoble-alpes.fr/tel-02269062
Autor:
Blein, Yoann
Publikováno v:
Software Engineering [cs.SE]. Université Grenoble Alpes, 2019. English
Runtime verification is a promising technique to improve the safety of complex systems. These systems can be instrumented to produce execution traces enabling us to observe their usage in the field. A significant challenge is to provide software engi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______212::789c4636d1eced63a7750a4ad307bef5
https://hal.univ-grenoble-alpes.fr/tel-02269062
https://hal.univ-grenoble-alpes.fr/tel-02269062