( en | de | ru )

 

Disambiguation of "Corrales, José A."

Author of the publication

copydeleteadd this publication to your clipboard
A Pragmatic Task Design Approach Based on a Ward/Mellor Real-Time Structured Specification.

, , , and . ESEC, volume 717 of Lecture Notes in Computer Science, page 301-312. Springer, (1993)

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. You can also use the button next to the name to display some publications already assigned to the person.

Humberto Jorge José

Tomas Corrales

Nadine José Gonzalez

Jose A C Broekaert

José Navarrete

 

Other publications of authors with the same name

A Pragmatic Task Design Approach Based on a Ward/Mellor Real-Time Structured Specification., , , and . ESEC, volume 717 of Lecture Notes in Computer Science, page 301-312. Springer, (1993)Combining GP operators with SA search to evolve fuzzy rule based classifiers., , and . Inf. Sci., 136 (1-4): 175-191 (2001)Dynamic analysis of SA/RT models using Spin and modular verification., , , and . The Spin Verification System, volume 32 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 165-183. DIMACS/AMS, (1996)Building Internet Shops: Current Status of the Cities Project., , , and . ICEIS, page 529-530. (2000)Combination of Self-Organizing Maps and Multilayer Perceptrons for Speaker Independent Isolated Word Recognition., , , and . IWANN, volume 686 of Lecture Notes in Computer Science, page 550-555. Springer, (1993)Verificación Formal del Subsistema de Identificación de Clientes en una Tienda Virtual., , and . JISBD, page 169-170. Grupo de Paralelismo, Departamento de Informática, Escuela Politécnia, Universidad de Extremadura, (1999)An Asturian view of networking 2015.. Commun. ACM, 44 (9): 47-54 (2001)Using a Symbolic Model Checker for Verify Safety Properties in SA/RT Models., , and . ESEC, volume 989 of Lecture Notes in Computer Science, page 59-75. Springer, (1995)