( en | de | ru )

 

Disambiguierung von "Fantechi, Alessandro"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning.

, , , und . SERENE, Volume 8166 von Lecture Notes in Computer Science, Seite 184-198. Springer, (2013)

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 Manfredini

 

Weitere Publikationen von Autoren mit dem selben Namen

Safety Interlocking as a Distributed Mutual Exclusion Problem., und . FMICS, Volume 11119 von Lecture Notes in Computer Science, Seite 52-66. Springer, (2018)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)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)Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning., , , und . SERENE, Volume 8166 von Lecture Notes in Computer Science, Seite 184-198. Springer, (2013)Software rejuvenation and runtime reliability monitoring., , und . ISSRE Workshops, Seite 162-169. IEEE, (2022)Comparing formal tools for system design: a judgment study., , , , und . ICSE, Seite 62-74. ACM, (2020)Formal Modeling for Product Families Engineering., und . SPLC, Seite 193-202. IEEE Computer Society, (2008)Object-Oriented Analysis of COBOL., , und . CSMR, Seite 157-164. IEEE Computer Society, (1997)Validation of Interlocking Systems by Testing their Models., und . QUATIC, Seite 226-229. IEEE Computer Society, (2014)