( en | de | ru )

 

Disambiguierung von "Basile, Davide"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Supervisory Synthesis of Configurable Behavioural Contracts with Modalities.

, , , , , , und . FORTE, Volume 12719 von Lecture Notes in Computer Science, Seite 177-181. Springer, (2021)

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.

Basile Sandris

Basile Kapsocavadis

Basile Récatas

Basile Hatziolos

Basile Psarianos

 

Weitere Publikationen von Autoren mit dem selben Namen

A Formal Methods Demonstrator for Railways., und . ERCIM News, (2020)Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming., , und . RSSRail, Volume 10598 von Lecture Notes in Computer Science, Seite 221-237. Springer, (2017)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 Blockchain-driven Architecture for Usage Control in Solid., , , und . ICDCS Workshops, Seite 19-24. IEEE, (2023)A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts., und . COORDINATION, Volume 12717 von Lecture Notes in Computer Science, Seite 225-238. Springer, (2021)30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC., , , , , und . ISoLA (1), Volume 12476 von Lecture Notes in Computer Science, Seite 368-384. Springer, (2020)Specifying variability in service contracts., , , , und . VaMoS, Seite 20-27. ACM, (2017)Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC., , , und . FMICS, Volume 11687 von Lecture Notes in Computer Science, Seite 1-21. Springer, (2019)Advancing orchestration synthesis for contract automata., und . J. Log. Algebraic Methods Program., (2024)An Experimental Toolchain for Strategy Synthesis with Spatial Properties., , und . ISoLA (3), Volume 13703 von Lecture Notes in Computer Science, Seite 142-164. Springer, (2022)