José A. Mañas

Publication Activity (10 Years)

Years Active: 1987-1993
Publications (10 Years): 0

Publications

José A. Mañas, Tomás de Miguel, Joaquín Salvachúa, Arturo Azcorra
Tool Support to Implement LOTOS Formal Specifications. Comput. Networks ISDN Syst. 25 (7) (1993)
Tomás Robles, José A. Mañas, Gabriel Huecas
Specification and Derivation of OSI Conformance Test Suites. Protocol Test Systems (1992)
José A. Mañas, Joaquín Salvachúa, Tomás de Miguel
Tool Demonstration: A Cross Compiling Experiment: A PC Implementation of a LOTOS Spec. FORTE (1991)
José A. Mañas, Joaquín Salvachúa
Lambda-beta: A Virtual LOTOS Machine. FORTE (1991)
José A. Mañas, Tomás de Miguel
From LOTOS to C. FORTE (1988)
José A. Mañas
Word Division in Spanish. Commun. ACM 30 (7) (1987)