( en | de | ru )

 

Disambiguierung von "Gasca, Rafael Martinez"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Constraint satisfaction techniques for diagnosing errors in design by contract software.

, , und . SAVCBS@ESEC/FSE, Seite 11. ACM, (2005)

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.

Rafael Martinez

Rafael Martinez Viera

Rafael Manso Martinez

Rafael Amable Vásquez Martinez

Johannes Gascard

 

Weitere Publikationen von Autoren mit dem selben Namen

Constraint satisfaction techniques for diagnosing errors in design by contract software., , und . ACM SIGSOFT Softw. Eng. Notes, (2006)Stateful Firewalling for Wireless Mesh Networks., , , und . NTMS, Seite 1-5. IEEE, (2008)A Model-Driven engineering approach with diagnosis of non-conformance of security objectives in business process models., , und . RCIS, Seite 1-6. IEEE, (2011)A Heuristic Polynomial Algorithm for Local Inconsistency Diagnosis in Firewall Rule Sets., , und . SECRYPT, Seite 430-441. INSTICC Press, (2008)Mesh Network Firewalling with Bloom Filters., , , und . ICC, Seite 1546-1551. IEEE, (2007)Fast Algorithms for Consistency-Based Diagnosis of Firewall Rule Sets., , und . ARES, Seite 229-236. IEEE Computer Society, (2008)Model-Based Development of firewall rule sets: Diagnosing model inconsistencies., , und . Inf. Softw. Technol., 51 (5): 894-915 (2009)An integration of model-based techniques for determining the minimal diagnosis., , , und . Inteligencia Artif., 10 (31): 41-52 (2006)Metodología Semicualitativa para Razonar sobre Sistemas Dinámicos., , , , , , und . Computación y Sistemas, (2005)Contract-based test generation for data flow of business processes using constraint programming., , und . RCIS, Seite 1-12. IEEE, (2011)