( en | de | ru )

 

Disambiguierung von "Braberman, Víctor A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
MORPH: a reference architecture for configuration and behaviour self-adaptation.

, , , , und . CTSE@SIGSOFT FSE, Seite 9-16. ACM, (2015)

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.

Víctor Farías

Víctor Castaño

Víctor Jiménez

Víctor Uc-Cetina

Reinforcement learning in continuous state and action spaces. HU Berlin, (2009)

Víctor Olmos León

 

Weitere Publikationen von Autoren mit dem selben Namen

Automatic Verification of Real-Time Designs.. ICSE, Seite 716-717. ACM, (1999)Dynamic Reconfiguration of Business Processes., , , , und . BPM, Volume 11675 von Lecture Notes in Computer Science, Seite 35-51. Springer, (2019)Minimising Makespan of Discrete Controllers: A Qualitative Approach., , , , und . CDC, Seite 1068-1075. IEEE, (2019)Verification of Programs with Common Fragments., , , und . SIGSOFT FSE Companion, Seite 487-491. ACM, (2024)ObsSlice: A Timed Automata Slicer Based on Observers., , und . CAV, Volume 3114 von Lecture Notes in Computer Science, Seite 470-474. Springer, (2004)Specification patterns can be formal and still easy., und . SEKE, Seite 430-436. Knowledge Systems Institute Graduate School, (2010)Synthesis of Run-To-Completion Controllers for Discrete Event Systems., , , , und . ACC, Seite 4892-4899. IEEE, (2021)An architecture-centric approach to the development of a distributed model-checker for timed automata., , und . ICSE, Seite 710. ACM, (2002)A toolsuite for the verification of real-time systems in Eclipse., , , , , , , und . ETX, Seite 35-39. ACM, (2006)Extending Timed Automata for Compositional Modeling Healthy Timed Systems., und . MTCS, Volume 52 von Electronic Notes in Theoretical Computer Science, Seite 227-245. Elsevier, (2001)