( en | de | ru )

 

Disambiguierung von "Basile, Davide"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Comparing formal tools for system design: a judgment study.

, , , , und . ICSE, Seite 62-74. ACM, (2020)

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 Hatziolos

Basile Récatas

Basile Psarianos

 

Weitere Publikationen von Autoren mit dem selben Namen

A Formal Methods Demonstrator for Railways., und . ERCIM News, (2020)A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems., , , und . J. Rail Transp. Plan. Manag., 6 (2): 163-181 (2016)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)A Blockchain-driven Architecture for Usage Control in Solid., , , und . ICDCS Workshops, Seite 19-24. IEEE, (2023)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)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)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)Relating two automata-based models of orchestration and choreography., , , und . J. Log. Algebraic Methods Program., 85 (3): 425-446 (2016)