Author:
Torres J. C.,Gea M.,Gutierrez F. L.,Cabrera M.,Rodriguez M.
Reference14 articles.
1. Faconti, G.; Paterno, F.: An Approach to the Formal Specification of the Components of an Interaction. EUROGRAPHICS 1990
2. Paterno, Fabio; Faconti, G.: On the use of LOTOS to describe Graphical Interaction. HCI, 1992
3. Duce, D.A.: Formal Specification of Graphics Software. NATO ASI Series. Theoretical Foundations of Computer Graphics and CAD. Springer Verlag, 1988
4. J.C. Torres; B. Clares: Using an Abstract Model for the Specification of Interactive Graphics Systems. F. Paterno (Ed.): Design, Specification and Verification of Interactive Graphic Systems. Springer Verlag, 1994.
5. J.C. Torres; B. Clares: Graphic Objects: A Mathematical Abstract Model For Computer Graphics. Computer Graphic Forum, Vol. 12, N.5, 1993.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献