( en | de | ru )

 

Disambiguierung von "Fantechi, Alessandro"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Finite Approximations for Model Checking Non-finite-state Processes.

, , , und . Comput. J., 44 (2): 109-123 (2001)

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 Mirizzi

Alessandro Manfredini

Alessandro Busà

Alessandro Robertini

 

Weitere Publikationen von Autoren mit dem selben Namen

Applying the product lines paradigm to the quantitative analysis of collective adaptive systems., , und . SPLC, Seite 321-326. ACM, (2015)Model Checking of Non-Finite State Processes by Finite Approximations., , , und . TACAS, Volume 1019 von Lecture Notes in Computer Science, Seite 195-215. Springer, (1995)Behavioural Contracts for a Sound Assembly of Components., , und . FORTE, Volume 2767 von Lecture Notes in Computer Science, Seite 111-126. Springer, (2003)Panel Discussion on Formal Methods in Commercial Software Development Tools., und . FMICS, Volume 5596 von Lecture Notes in Computer Science, Seite 4-6. Springer, (2008)Smart Services for Railways., , , und . ERCIM News, (2019)Validation of Railway Interlocking Systems by Formal Verification, A Case Study., , , , und . SEFM Workshops, Volume 8368 von Lecture Notes in Computer Science, Seite 237-252. Springer, (2013)A Model-Checking Tool for Families of Services., , , und . FMOODS/FORTE, Volume 6722 von Lecture Notes in Computer Science, Seite 44-58. Springer, (2011)A Deontic Logical Framework for Modelling Product Families., , , und . VaMoS, Volume 37 von ICB-Research Report, Seite 37-44. Universität Duisburg-Essen, (2010)The Legacy of Stefania Gnesi - From Software Engineering to Formal Methods and Tools, and Back., , und . From Software Engineering to Formal Methods and Tools, and Back, Volume 11865 von Lecture Notes in Computer Science, Seite 1-11. Springer, (2019)Hacking an Ambiguity Detection Tool to Extract Variation Points: an Experience Report., , , und . VaMoS, Seite 43-50. ACM, (2018)