( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Extending Timed Automata for Compositional Modeling Healthy Timed Systems.

, и . MTCS, том 52 из Electronic Notes in Theoretical Computer Science, стр. 227-245. Elsevier, (2001)

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

 

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

Dealing with practical limitations of distributed timed model checking for timed automata., , и . Formal Methods Syst. Des., 29 (2): 197-214 (2006)Issues in distributed timed model checking., , и . Int. J. Softw. Tools Technol. Transf., 7 (1): 4-18 (2005)Specification Patterns: Formal and Easy., и . International Journal of Software Engineering and Knowledge Engineering, 25 (4): 669-700 (2015)A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties., , и . IEEE Trans. Software Eng., 31 (12): 1028-1041 (2005)Automatic Verification of Real-Time Designs.. ICSE, стр. 716-717. ACM, (1999)Dynamic Reconfiguration of Business Processes., , , , и . BPM, том 11675 из Lecture Notes in Computer Science, стр. 35-51. Springer, (2019)Dynamic Update of Discrete Event Controllers., , , , , , и . IEEE Trans. Software Eng., 46 (11): 1220-1240 (2020)Minimising Makespan of Discrete Controllers: A Qualitative Approach., , , , и . CDC, стр. 1068-1075. IEEE, (2019)ObsSlice: A Timed Automata Slicer Based on Observers., , и . CAV, том 3114 из Lecture Notes in Computer Science, стр. 470-474. Springer, (2004)Declaratively building behavior by means of scenario clauses., и . Requir. Eng., 22 (2): 239-274 (2017)