Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Roberta Chirico"'
Publikováno v:
Frontiers in Cellular and Infection Microbiology, Vol 13 (2024)
Externí odkaz:
https://doaj.org/article/ec4d19c80e3442febc5157233115b1cd
Publikováno v:
Frontiers in Cellular and Infection Microbiology, Vol 13 (2023)
Externí odkaz:
https://doaj.org/article/dc5cea3770d34fc08087a23811837ce0
Autor:
Leonilde Bonfrate, Agostino Di Ciaula, Mohamad Khalil, Ilaria Farella, Roberta Chirico, Gemma Vilahur, Piero Portincasa
Publikováno v:
Internal and Emergency Medicine. 18:385-395
The first COVID-19 lockdown resulted in enforced quarantine of heavily affected areas with social isolation and related measures by several governments to slow the spread of the disease. The general population experienced several mental and lifestyle
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b0c77fdc50b5ea0b814023b82ba8e245
https://doi.org/10.1007/s11739-022-03173-9
https://doi.org/10.1007/s11739-022-03173-9
Publikováno v:
IEEE Transactions on Industrial Informatics. 17:6294-6302
This article presents a methodology to formalize the behavior of the machines composing a production line, and to automatically generate their virtual prototypes for efficient and correct plant simulation. The approach exploits assume-guarantee reaso
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7f121ad78533ec952d543b9e23797ed2
https://doi.org/10.1109/tii.2020.3038679
https://doi.org/10.1109/tii.2020.3038679
Publikováno v:
DATE
The advent of Industry 4.0 is making production processes every day more complicated. As such, early process validation is becoming crucial to avoid production errors thus decreasing costs. In this paper, we present an approach to validate production
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a8f91f84e730f8fcb7877906d5c3cfa5
https://doi.org/10.23919/date48585.2020.9116343
https://doi.org/10.23919/date48585.2020.9116343
Publikováno v:
FDL
This paper analyzes a set of languages and standard used when designing industrial plants. It focuses on AutomationML and B2MML to specify respectively the architecture and the intended production of the system being designed. It also relies on the D
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0fb9db7bcd610773d99058657ee79a0b
https://doi.org/10.1109/fdl.2019.8876899
https://doi.org/10.1109/fdl.2019.8876899
Publikováno v:
INDIN
The approach we present in this paper exploits assume-guarantee reasoning through contracts to model a production line, and to generate its virtual prototype for efficient and correct plant simulation. Contracts are used to model the different parts
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::189948355299d8a82813db7cd994de53
http://hdl.handle.net/11562/1011866
http://hdl.handle.net/11562/1011866
