Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Arturo Amendola"'
Autor:
Seyed Abolfazl Mortazavizadeh, Simone Palazzo, Arturo Amendola, Enzo De Santis, Dario Di Ruzza, Giuseppe Panariello, Annunziata Sanseverino, Francesco Velardi, Giovanni Busatto
Publikováno v:
Applied Sciences, Vol 11, Iss 23, p 11350 (2021)
Soft switching for both primary and secondary side devices is available by using LLC converters. This resonant converter is an ideal candidate for today’s high frequency, high efficiency, and high power density applications like adapters, Uninterru
Externí odkaz:
https://doaj.org/article/ac407575266e4f999248dfd2469454ad
Autor:
Arturo Amendola, Anna Becchi, Roberto Cavada, Alessandro Cimatti, Andrea Ferrando, Lorenzo Pilati, Giuseppe Scaglione, Alberto Tacchella, Marco Zamboni
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030995232
We present Norma, a tool for the modeling and analysis of Relay-based Railways Interlocking Systems (RRIS). Norma is the result of a research project funded by the Italian Railway Network, to support the reverse engineering and migration to computer-
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::75173727aece69024a684a69fdc61b39
https://doi.org/10.1007/978-3-030-99524-9_7
https://doi.org/10.1007/978-3-030-99524-9_7
Autor:
Arturo Amendola, Lorenzo Barruffo, Marco Bozzano, Alessandro Cimatti, Salvatore De Simone, Eugenio Fedeli, Artem Gabbasov, Domenico Ernesto Garrubba, Massimiliano Girardi, Diana Serra, Roberto Tiella, Gianni Zampedri
Publikováno v:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification ISBN: 9783031058134
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::299d1c3c401f235ac52a6caa130650a0
https://doi.org/10.1007/978-3-031-05814-1_12
https://doi.org/10.1007/978-3-031-05814-1_12
Autor:
Simone Palazzo, Giuseppe Panariello, Enzo De Santis, Dario Di Ruzza, Arturo Amendola, Annunziata Sanseverino, Seyed Abolfazl Mortazavizadeh, Francesco Velardi, Giovanni Busatto
Publikováno v:
Applied Sciences, Vol 11, Iss 11350, p 11350 (2021)
Soft switching for both primary and secondary side devices is available by using LLC converters. This resonant converter is an ideal candidate for today’s high frequency, high efficiency, and high power density applications like adapters, Uninterru
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::89cc78b1f017162da132824bbbfa3c9e
https://doi.org/10.3390/app112311350
https://doi.org/10.3390/app112311350
Autor:
Alberto Griggio, Matteo Tessi, Arturo Amendola, Alessandro Cimatti, Giuseppe Scaglione, Alberto Tacchella, Angelo Susi, Roberto Cavada, Anna Becchi
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030614669
ISoLA (3)
ISoLA (3)
This paper describes a model-based flow for the development of Interlocking Systems. The flow starts from a set of specifications in Controlled Natural Language (CNL), that are close to the jargon adopted in by domain experts, but fully formal. From
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::12e2e1c9eeff7bd103d858ccafb268c0
https://doi.org/10.1007/978-3-030-61467-6_16
https://doi.org/10.1007/978-3-030-61467-6_16
Autor:
David Powell, Arturo Amendola, Jean Arlat, Berthold Attermeyer, Ljerka Beus-Dukic, Andrea Bondavalli, Paolo Coppola, Carlo Dambra, Alessandro Fantechi, Eric Jenn, Christophe Rabéjac, Vincent Thevenot, Andy Wellings
Publikováno v:
A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems ISBN: 9781441948809
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::28c7263f5237a8b05fca8510293b24d1
https://doi.org/10.1007/978-1-4757-3353-2_1
https://doi.org/10.1007/978-1-4757-3353-2_1
Autor:
Cin, Mario, Kaâniche, Mohamed, Pataricza, András, Alessandro, Caiazza, Maio, Roberto, Fernando, Scalabrini, Fabio, Poli, Leonardo, Impagliazzo, Arturo, Amendola
Publikováno v:
Dependable Computing - EDCC 2005; 2005, p293-304, 12p