( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Test4Enforcers: Test Case Generation for Software Enforcers.

, , , и . RV, том 12399 из Lecture Notes in Computer Science, стр. 279-297. Springer, (2020)

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.

Carlos Guzmán

Alvaro Rivas Guzmán

Henry Guzmán Bulla

Alexander Guzmán Monsalve

Francisco Digón Guzmán

 

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

TkT: Automatic Inference of Timed and Extended Pushdown Automata., , , и . IEEE Trans. Software Eng., 48 (2): 617-636 (2022)Simulating Signalling Pathways With BioWayS., , , , и . CS2Bio, том 293 из Electronic Notes in Theoretical Computer Science, стр. 17-34. Elsevier, (2012)On the Expressiveness of Spatial Constraint Systems., и . ICLP (Technical Communications), том 52 из OASIcs, стр. 16:1-16:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Reasoning about distributed information with infinitely many agents., , , , , и . J. Log. Algebraic Methods Program., (2021)Test4Enforcers: Test Case Generation for Software Enforcers., , , и . RV, том 12399 из Lecture Notes in Computer Science, стр. 279-297. Springer, (2020)On the expressiveness of spatial constraint systems. (Sur l'expressivité des systèmes de contraintes spatiales).. University of Paris-Saclay, France, (2017)VARYS: an agnostic model-driven monitoring-as-a-service framework for the cloud., , , , , и . ESEC/SIGSOFT FSE, стр. 1085-1089. ACM, (2019)Reasoning About Distributed Knowledge of Groups with Infinitely Many Agents., , , , , и . CONCUR, том 140 из LIPIcs, стр. 29:1-29:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)NGPaaS Framework for Enriched and Customized Virtual Network Functions-as-a-Service., , , , , , , и . EuCNC, стр. 42-46. IEEE, (2019)Risk-Based Safety Envelopes for Autonomous Vehicles Under Perception Uncertainty., , , , и . IV, стр. 104-111. IEEE, (2022)