| 1998 |
|---|
| 9 | EE | Francisco Javier Ruiz Piñar,
Angel Fernández,
Carlos Miguel,
Leon Vidaller,
Antonio Martínez Mas,
Juan Antonio Carral Pelayo:
Multimedia Systems Based on Satellite Technology.
Computer Networks 30(16-18): 1543-1549 (1998) |
| 1994 |
|---|
| 8 | | Antonio Martínez Maz,
Carlos Miguel,
E. Pérez,
Angel Fernández:
FDDI Performance Evaluation Based on LOTOS Formal Description Tecnique.
HPN 1994: 407-422 |
| 1993 |
|---|
| 7 | | Carlos Miguel,
Angel Fernández,
J. M. Ortuño,
Leon Vidaller:
A LOTOS Based Performance Evaluation Tool.
Computer Networks and ISDN Systems 25(7): 791-814 (1993) |
| 6 | | Carlos Miguel,
Angel Fernández,
Leon Vidaller:
LOTOS Extended with Probablistic Behaviours.
Formal Asp. Comput. 5(3): 253-281 (1993) |
| 1992 |
|---|
| 5 | | Carlos Miguel,
Angel Fernández,
Leon Vidaller:
Extending LOTOS towards performance evaluation.
FORTE 1992: 103-118 |
| 4 | | Angel Fernández,
Carlos Miguel,
Leon Vidaller,
Juan Quemada:
Development of Satellite Communication Networks Based on LOTOS.
PSTV 1992: 179-192 |
| 1989 |
|---|
| 3 | | Juan Quemada,
Santiago Pavón,
Angel Fernández:
State Exploration by Transformation with LOLA.
Automatic Verification Methods for Finite State Systems 1989: 294-302 |
| 1988 |
|---|
| 2 | | Juan Quemada,
Santiago Pavón,
Angel Fernández:
Transforming LOTOS Specifications with LOLA - The Parameterised Expansion.
FORTE 1988: 45-54 |
| 1987 |
|---|
| 1 | | Juan Quemada,
Angel Fernández:
Introduction of Quantitative Relative Time into LOTOS.
PSTV 1987: 105-121 |
