( en | de | ru )

 

Disambiguierung von "Cavada, Roberto"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Verification of Diagnosability via Symbolic Model Checking.

, , und . IJCAI, Seite 363-369. Morgan Kaufmann, (2003)

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.

Armin Cavada

Roberto Fornari

Roberto Cruccolini

Roberto Sala

Roberto Minakawa

 

Weitere Publikationen von Autoren mit dem selben Namen

RAT: A Tool for the Formal Analysis of Requirements., , , , und . CAV, Volume 4590 von Lecture Notes in Computer Science, Seite 263-267. Springer, (2007)Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks., , , , , und . FMCAD, Seite 1-9. IEEE, (2018)Formal Verification of Diagnosability via Symbolic Model Checking., , und . IJCAI, Seite 363-369. Morgan Kaufmann, (2003)Model-Based Design of an Energy-System Embedded Controller Using Taste., , , , und . FM, Volume 9995 von Lecture Notes in Computer Science, Seite 741-747. (2016)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)A Formal IDE for Railways: Research Challenges., , , und . SEFM Workshops, Volume 13765 von Lecture Notes in Computer Science, Seite 107-115. Springer, (2022)Formal analysis of hardware requirements., , , , , und . DAC, Seite 821-826. ACM, (2006)COMPASTA: Extending TASTE with Formal Design and Verification Functionality., , , , , , , und . IMBSA, Volume 13525 von Lecture Notes in Computer Science, Seite 21-27. Springer, (2022)