( en | de | ru )

 

Disambiguierung von "Mazzanti, Franco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems.

, , , und . From Software Engineering to Formal Methods and Tools, and Back, Volume 11865 von Lecture Notes in Computer Science, Seite 377-396. Springer, (2019)

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.

Elena Mazzanti

Franco Kämmer

Franco Nüske

Franco Nüske

Franco Caldarone

 

Weitere Publikationen von Autoren mit dem selben Namen

States and Events in KandISTI - A Retrospective., , , und . Models, Mindsets, Meta, Volume 11200 von Lecture Notes in Computer Science, Seite 110-128. Springer, (2018)Avoiding Gridlocks in the Centralised Dispatching of a Fleet of Autonomous Vehicles., , und . ERCIM News, (2017)Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints., , , , und . IFM, Volume 11918 von Lecture Notes in Computer Science, Seite 542-546. Springer, (2019)Model Checking Value-Passing Modal Specifications., , und . Ershov Memorial Conference, Volume 8974 von Lecture Notes in Computer Science, Seite 304-319. Springer, (2014)A Formal Methods Demonstrator for Railways., und . ERCIM News, (2020)Compositional verification of concurrent systems by combining bisimulations., , und . Formal Methods Syst. Des., 58 (1-2): 83-125 (2021)Survey on Formal Methods and Tools in Railways: The ASTRail Approach., , , , , , , und . RSSRail, Volume 11495 von Lecture Notes in Computer Science, Seite 226-241. Springer, (2019)A Model Checking Approach for Verifying COWS Specifications., , , , , und . FASE, Volume 4961 von Lecture Notes in Computer Science, Seite 230-245. Springer, (2008)Design and validation of variability in product lines., , , , und . PLEASE@ICSE, Seite 25-30. ACM, (2011)Experiments in Formal Modelling of a Deadlock Avoidance Algorithm for a CBTC System., , und . ISoLA (2), Volume 9953 von Lecture Notes in Computer Science, Seite 297-314. (2016)