( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Empirical Software Engineering and Formal Methods for IoT Systems.

, , , и . ERCIM News, (2022)

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.

Basile Sandris

Basile Kapsocavadis

Basile Hatziolos

Basile Psarianos

Basile Récatas

 

Другие публикации лиц с тем же именем

A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems., , , и . J. Rail Transp. Plan. Manag., 6 (2): 163-181 (2016)A Formal Methods Demonstrator for Railways., и . ERCIM News, (2020)A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts., и . COORDINATION, том 12717 из Lecture Notes in Computer Science, стр. 225-238. Springer, (2021)A Blockchain-driven Architecture for Usage Control in Solid., , , и . ICDCS Workshops, стр. 19-24. IEEE, (2023)Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming., , и . RSSRail, том 10598 из Lecture Notes in Computer Science, стр. 221-237. Springer, (2017)Survey on Formal Methods and Tools in Railways: The ASTRail Approach., , , , , , , и . RSSRail, том 11495 из Lecture Notes in Computer Science, стр. 226-241. Springer, (2019)30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC., , , , , и . ISoLA (1), том 12476 из Lecture Notes in Computer Science, стр. 368-384. Springer, (2020)Specifying variability in service contracts., , , , и . VaMoS, стр. 20-27. ACM, (2017)Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC., , , и . FMICS, том 11687 из Lecture Notes in Computer Science, стр. 1-21. Springer, (2019)Secure Multi-Party Computation with Service Contract Automata.. ERCIM News, (2021)