( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Validation of contracts using enabledness preserving finite state abstractions.

, , , и . ICSE, стр. 452-462. IEEE, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

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

 

Другие публикации лиц с тем же именем

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