José A. Mañas

According to our database, José A. Mañas authored at least 6 papers between 1987 and 1993.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

1993

Tool Support to Implement LOTOS Formal Specifications.

José A. Mañas, Tomás de Miguel, Joaquín Salvachúa, Arturo Azcorra

Comput. Networks ISDN Syst., 1993

1992

Specification and Derivation of OSI Conformance Test Suites.

Tomás Robles, José A. Mañas, Gabriel Huecas

Proceedings of the Protocol Test Systems, V, 1992

1991

Tool Demonstration: A Cross Compiling Experiment: A PC Implementation of a LOTOS Spec.

José A. Mañas, Joaquín Salvachúa, Tomás de Miguel

Proceedings of the Formal Description Techniques, 1991

Lambda-beta: A Virtual LOTOS Machine.

José A. Mañas, Joaquín Salvachúa

Proceedings of the Formal Description Techniques, 1991

1988

From LOTOS to C.

José A. Mañas, Tomás de Miguel

Proceedings of the Formal Description Techniques, 1988

1987

Word Division in Spanish.

José A. Mañas

Commun. ACM, 1987