( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Constraint satisfaction techniques for diagnosing errors in design by contract software.

, , и . SAVCBS@ESEC/FSE, стр. 11. ACM, (2005)

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.

Rafael Martinez

Rafael Martinez Viera

Rafael Manso Martinez

Rafael Amable Vásquez Martinez

Johannes Gascard

 

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

Stateful Firewalling for Wireless Mesh Networks., , , и . NTMS, стр. 1-5. IEEE, (2008)A Model-Driven engineering approach with diagnosis of non-conformance of security objectives in business process models., , и . RCIS, стр. 1-6. IEEE, (2011)A Heuristic Polynomial Algorithm for Local Inconsistency Diagnosis in Firewall Rule Sets., , и . SECRYPT, стр. 430-441. INSTICC Press, (2008)Fast Algorithms for Consistency-Based Diagnosis of Firewall Rule Sets., , и . ARES, стр. 229-236. IEEE Computer Society, (2008)Mesh Network Firewalling with Bloom Filters., , , и . ICC, стр. 1546-1551. IEEE, (2007)Contract-based test generation for data flow of business processes using constraint programming., , и . RCIS, стр. 1-12. IEEE, (2011)FT-FW: Efficient Connection Failover in Cluster-based Stateful Firewalls., , и . PDP, стр. 573-580. IEEE Computer Society, (2008)hFT-FW: Hybrid Fault-Tolerance for Cluster-Based Stateful Firewalls., , и . ICPADS, стр. 525-532. IEEE Computer Society, (2008)OPBUS: Fault Tolerance Against Integrity Attacks in Business Processes., и . CISIS, том 85 из Advances in Intelligent and Soft Computing, стр. 213-222. Springer, (2010)An integration of model-based techniques for determining the minimal diagnosis., , , и . Inteligencia Artif., 10 (31): 41-52 (2006)