Publications de
Robert B. France, Jean-Michel Bruel, Gopal K. Raghavan
Towards Rigorous Analysis of Fusion Models
Dans : Proceedings of the Second Northern Formal Methods Workshop, Ilkley, UK, 14/07/97-15/07/97, -, juillet 1997.
Robert B. France, Jean-Michel Bruel, Gopal K. Raghavan
Taming the Octopus: Using Formal Models to Integrate the Octopus Object Oriented Analysis Models
Dans : Proceedings of the 2nd IEEE High-Assurance Systems Engineering Workshop (HASE’97), Bethesda, Maryland USA, 10/08/97-12/08/97, EEE Computer Society Press, Los Alamitos, CA, août 1997.
Accès : http://www.cs.uh.edu/%7Ehase97
BibTeXJean-Michel Bruel, Robert B. France, Bharat Chintapally, Gopal K. Raghavan
A Tool for Rigorous Analysis of Object Model
Dans : Proceedings of the 20th Intl. Conf. on Technology of Object-Oriented Languages and Systems (TOOLS’96), Santa Barbara, California, 29/07/96-02/08/96, -, juillet 1996.