( en | de | ru )

 

Disambiguierung von "Iliasov, Alexei"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Distributed Protocol Development for Reservation of Railway Sections.

, , , , , und . ABZ, Volume 12071 von Lecture Notes in Computer Science, Seite 203-219. Springer, (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.

Alexei Iliasov

Alexei Strelchenko

Alexei Gratchev

Alexei Savtchkov

Alexei Dörre

 

Weitere Publikationen von Autoren mit dem selben Namen

A Proof-Based Method for Modelling Timed Systems., und . Ershov Memorial Conference, Volume 8974 von Lecture Notes in Computer Science, Seite 161-176. Springer, (2014)A Refinement Based Method for Developing Distributed Protocols., , , , , und . HASE, Seite 90-97. IEEE, (2019)Formal Distributed Protocol Development for Reservation of Railway Sections., , , , , und . ABZ, Volume 12071 von Lecture Notes in Computer Science, Seite 203-219. Springer, (2020)Mutation Testing for Rule-Based Verification of Railway Signaling Data., , und . IEEE Trans. Reliab., 70 (2): 676-691 (2021)On Developing Open Mobile Fault Tolerant Agent Systems., , und . SELMAS (LNCS), Volume 4408 von Lecture Notes in Computer Science, Seite 21-40. Springer, (2006)Modelling Hybrid Train Speed Controller using Proof and Refinement., , , , , und . ICECCS, Seite 107-113. IEEE, (2019)Safety Invariant Verification that Meets Engineers' Expectations., , , , und . RSSRail, Volume 13294 von Lecture Notes in Computer Science, Seite 20-31. Springer, (2022)On using the CAMA framework for developing open mobile fault tolerant agent systems., , und . SELMAS, Seite 29-36. ACM, (2006)Selective abstraction and stochastic methods for scalable power modelling of heterogeneous systems., , , , , , und . FDL, Seite 1-7. IEEE, (2016)On fault tolerance reuse during refinement., , und . SERENE, Seite 22-31. ACM, (2010)