( en | de | ru )

 

Disambiguation of "Fantechi, Alessandro"

Author of the publication

copydeleteadd this publication to your clipboard
Product Line Use Cases: Scenario-Based Specification and Testing of Requirements.

, , , and . Software Product Lines, Springer, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

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

 

Other publications of authors with the same name

Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling., , and . FORTE, volume 6 of IFIP Conference Proceedings, page 218-220. Chapman & Hall, (1994)Natural Language Processing of Patents and Technical Documentation., , and . Document Analysis Systems, volume 3163 of Lecture Notes in Computer Science, page 508-520. Springer, (2004)Adopting Formal Methods in an Industrial Setting: The Railways Case., , , , , , and . FM, volume 11800 of Lecture Notes in Computer Science, page 762-772. Springer, (2019)An industrial application of formal model based development: the Metrô Rio ATP case., , , and . SERENE, page 71-76. ACM, (2010)Ambiguity defects as variation points in requirements., , and . VaMoS, page 13-19. ACM, (2017)Safety Interlocking as a Distributed Mutual Exclusion Problem., and . FMICS, volume 11119 of Lecture Notes in Computer Science, page 52-66. Springer, (2018)Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning., , , and . SERENE, volume 8166 of Lecture Notes in Computer Science, page 184-198. Springer, (2013)Formally Verifying Fault Tolerant System Designs., , and . Comput. J., 43 (3): 191-205 (2000)Achieving Fault Tolerance by a Formally Validated Interaction Policy., , and . RODIN Book, volume 4157 of Lecture Notes in Computer Science, page 133-152. Springer, (2006)Schedulability Analysis of Pre-runtime and Runtime Scheduling Algorithm of an Industrial Real Time System., and . MODELSWARD (Revised Selected Papers), volume 692 of Communications in Computer and Information Science, page 46-69. Springer, (2016)