( en | de | ru )

 

Disambiguierung von "Fantechi, Alessandro"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Future Train Control Systems: Challenges for Dependability Assessment.

, , und . ISoLA (4), Volume 13704 von Lecture Notes in Computer Science, Seite 269-285. Springer, (2022)

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.

Alessandro Valeri

Fluorescence resonance energy transfer between multiple chromophores studied by single-molecule spectroscopy. Uni Düsseldorf, (2009)

Alessandro Zivelonghi

Alessandro Nova

Alessandro Topa

Alessandro Mirizzi

 

Weitere Publikationen von Autoren mit dem selben Namen

Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling., , und . FORTE, Volume 6 von IFIP Conference Proceedings, Seite 218-220. Chapman & Hall, (1994)Formally Verifying Fault Tolerant System Designs., , und . Comput. J., 43 (3): 191-205 (2000)An industrial application of formal model based development: the Metrô Rio ATP case., , , und . SERENE, Seite 71-76. ACM, (2010)Adopting Formal Methods in an Industrial Setting: The Railways Case., , , , , , und . FM, Volume 11800 von Lecture Notes in Computer Science, Seite 762-772. Springer, (2019)A Logical Framework to Deal with Variability., , , und . IFM, Volume 6396 von Lecture Notes in Computer Science, Seite 43-58. Springer, (2010)An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications., , , und . FMICS, Volume 4916 von Lecture Notes in Computer Science, Seite 133-148. Springer, (2007)Achieving Fault Tolerance by a Formally Validated Interaction Policy., , und . RODIN Book, Volume 4157 von Lecture Notes in Computer Science, Seite 133-152. Springer, (2006)Schedulability Analysis of Pre-runtime and Runtime Scheduling Algorithm of an Industrial Real Time System., und . MODELSWARD (Revised Selected Papers), Volume 692 von Communications in Computer and Information Science, Seite 46-69. Springer, (2016)Lessons Learnt from the Adoption of Formal Model-Based Development., , und . NASA Formal Methods, Volume 7226 von Lecture Notes in Computer Science, Seite 24-38. Springer, (2012)Ambiguity defects as variation points in requirements., , und . VaMoS, Seite 13-19. ACM, (2017)