Zobrazeno 1 - 10
of 23
pro vyhledávání: '"Mignogna, Alessandro"'
Autor:
Marengo, Davide1 davide.marengo@unito.it, Mignogna, Alessandro1, Elhai, Jon D.2,3, Settanni, Michele1
Publikováno v:
Cyberpsychology. 2024, Vol. 18 Issue 5, p1-11. 11p.
Publikováno v:
EPTCS 133, 2013, pp. 67-83
Exhaustive formal verification for systems of systems (SoS) is impractical and cannot be applied on a large scale. In this paper we propose to use statistical model checking for efficient verification of SoS. We address three relevant aspects for sys
Externí odkaz:
http://arxiv.org/abs/1311.3632
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Frontiers in Psychology; 6/22/2022, Vol. 13, p1-8, 8p
We propose a novel language for the formal description of heterogeneous embedded systems (DesyreML). As the main contribution, the language is formally described in terms of semantics and concrete syntax based on the SysML language. We define the con
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::87368fc64f3b17787d1b8e8c6e0c93da
https://hal.archives-ouvertes.fr/hal-02263394
https://hal.archives-ouvertes.fr/hal-02263394
Autor:
Ferrari, Alberto, Carloni, Marco, Mignogna, Alessandro, Menichelli, Francesco, Ginsberg, David, Scholte, Eelco, Nguyen, Dang
Publikováno v:
7th IEEE International Symposium on Industrial Embedded Systems (SIES'12); 1/ 1/2012, p267-270, 4p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.