( en | de | ru )

 

Disambiguierung von "Laibinis, Linas"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Pattern based Modelling for Self-organizing Multi-agent Systems with Event-B.

, , , , , , und . ICAART (2), Seite 229-236. SciTePress, (2014)

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

Formal Derivation of Distributed MapReduce., , , , und . ABZ, Volume 8477 von Lecture Notes in Computer Science, Seite 238-254. Springer, (2014)Modelling Resilient Systems-of-Systems in Event-B., , und . SAFECOMP Workshops, Volume 8696 von Lecture Notes in Computer Science, Seite 157-166. 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)Functional Procedures in Higher-Order Logic., und . TPHOLs, Volume 1869 von Lecture Notes in Computer Science, Seite 372-387. Springer, (2000)Formal Development of Critical Multi-agent Systems: A Refinement Approach., , und . EDCC, Seite 156-161. IEEE Computer Society, (2012)Formal Service-Oriented Development of Fault Tolerant Communicating Systems., , , , und . RODIN Book, Volume 4157 von Lecture Notes in Computer Science, Seite 261-287. Springer, (2006)Formal Model-Driven Development of Communicating Systems, , , , und . (2005)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)