Diseño y análisis formal de sistemas de software
FADOSS
University of Stirling
Stirling, Reino UnidoPublikationen in Zusammenarbeit mit Forschern von 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