Diseño y análisis formal de sistemas de software
FADOSS
University of Stirling
Stirling, Reino UnidoPublicaciones en colaboración con investigadores/as de University of Stirling (1)
2001
-
A case study in abstraction using E-LOTOS and the FireWire
Computer Networks, Vol. 37, Núm. 3-4, pp. 481-502