( en | de | ru )

 

Disambiguierung von "Amendola, Arturo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System.

, , , , , , , , und . ISoLA (3), Volume 12478 von Lecture Notes in Computer Science, Seite 240-254. Springer, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Arturo Scheidegger

Arturo Orias

Arturo Smith

Arturo Zychlinsky

Arturo Infante

 

Weitere Publikationen von Autoren mit dem selben Namen

A Step Toward Safe Unattended Train Operations: A Pioneer Vital Control Module., , , , , , , , und . DATE, Seite 1-4. IEEE, (2023)A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System., , , , , , , , und . ISoLA (3), Volume 12478 von Lecture Notes in Computer Science, Seite 240-254. Springer, (2020)NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems., , , , , , , , und . TACAS (1), Volume 13243 von Lecture Notes in Computer Science, Seite 125-142. Springer, (2022)Formal Design and Validation of an Automatic Train Operation Control System., , , , , , , , , und 2 andere Autor(en). RSSRail, Volume 13294 von Lecture Notes in Computer Science, Seite 169-178. Springer, (2022)A New Methodology and Tool Set to Execute Software Test on Real-Time Safety-Critical Systems., , , , , und . EDCC, Volume 3463 von Lecture Notes in Computer Science, Seite 293-304. Springer, (2005)Experimental Evaluation of Computer-Based Railway Control Systems., , , und . FTCS, Seite 380-384. IEEE Computer Society, (1997)Lessons Learned in Designing and Evaluating Railway Control Systems., , , , und . WORDS Fall, Seite 355-. IEEE Computer Society, (2003)Fault behavior observation of a microprocessor system through a VHDL simulation-based fault injection experiment., , , , , , , und . EURO-DAC, Seite 536-541. IEEE Computer Society Press, (1996)A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors., , , , , und . TACAS, Volume 1785 von Lecture Notes in Computer Science, Seite 535-549. Springer, (2000)An Automatic SPIN Validation of a Safety Critical Railway Control System., , , , , und . DSN, Seite 119-124. IEEE Computer Society, (2000)