Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Marco Zamboni"'
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
