( en | de | ru )

 

Disambiguierung von "Laibinis, Linas"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The SafeCap Trajectory: Industry-Driven Improvement of an Interlocking Verification Tool.

, , , und . RSSRail, Volume 14198 von Lecture Notes in Computer Science, Seite 117-127. Springer, (2023)

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.

Linas Urbonas

Linas Vilciauskas

Linas Vingras

 

Weitere Publikationen von Autoren mit dem selben Namen

Modelling Resilient Systems-of-Systems in Event-B., , und . SAFECOMP Workshops, Volume 8696 von Lecture Notes in Computer Science, Seite 157-166. Springer, (2014)Formal Derivation of Distributed MapReduce., , , , und . ABZ, Volume 8477 von Lecture Notes in Computer Science, Seite 238-254. Springer, (2014)The SafeCap Trajectory: Industry-Driven Improvement of an Interlocking Verification Tool., , , und . RSSRail, Volume 14198 von Lecture Notes in Computer Science, Seite 117-127. Springer, (2023)Quantitative Validation of Formal Domain Models., , und . HASE, Seite 17-24. IEEE, (2019)Augmenting formal development of control systems with quantitative reliability assessment., , und . SERENE, Seite 61-70. ACM, (2010)Formal Development of Critical Multi-agent Systems: A Refinement Approach., , und . EDCC, Seite 156-161. IEEE Computer Society, (2012)Functional Procedures in Higher-Order Logic., und . TPHOLs, Volume 1869 von Lecture Notes in Computer Science, Seite 372-387. Springer, (2000)Formal Model-Driven Development of Communicating Systems, , , , und . (2005)Formal Modelling of Resilient Data Storage in Cloud., , , , und . ICFEM, Volume 8144 von Lecture Notes in Computer Science, Seite 363-379. Springer, (2013)Formal Goal-Oriented Development of Resilient MAS in Event-B., , und . Ada-Europe, Volume 7308 von Lecture Notes in Computer Science, Seite 147-161. Springer, (2012)