( en | de | ru )

 

Disambiguierung von "Lima, Lucas"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis.

, , und . MODELSWARD, Seite 317-324. 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.

Antonio Lima

Mourad Limam

Silvio Romero Frej Fonseca Lima

Irmtraut Liman-Bolley

Jakob Limacher

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards Ontology Enabled Agent-Based Twinning for Cyber-Physical Systems., , , und . MoDELS (Companion), Seite 444-448. IEEE, (2023)A Deep Learning Approach to Detect Hyoid Bone in Ultrasound Exam., , , , , , , , , und . BRACIS, Seite 551-555. IEEE, (2019)Characterizing (Un)moderated Textual Data in Social Systems., , , , und . ASONAM, Seite 430-434. IEEE, (2020)Inside the Right-Leaning Echo Chambers: Characterizing Gab, an Unmoderated Social System., , , , , , und . ASONAM, Seite 515-522. IEEE Computer Society, (2018)Visual Specification of Properties for Robotic Designs., , , und . SBMF, Volume 13130 von Lecture Notes in Computer Science, Seite 34-52. Springer, (2021)Verifying Deadlock and Nondeterminism in Activity Diagrams., und . MoDELS (Companion), Seite 764-768. IEEE, (2019)A Formal Semantics for SysML Activity Diagrams., , und . SBMF, Volume 8195 von Lecture Notes in Computer Science, Seite 179-194. Springer, (2013)An integrated semantics for reasoning about SysML design models using refinement., , , , , , , , und . Softw. Syst. Model., 16 (3): 875-902 (2017)A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP., , und . CoRR, (2019)A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP., , und . Sci. Comput. Program., (2020)