Publications of
Robert B. France, Jean-Michel Bruel, Gopal K. Raghavan
Towards Rigorous Analysis of Fusion Models
In : Proceedings of the Second Northern Formal Methods Workshop, Ilkley, UK, 14/07/97-15/07/97, -, July 1997.
Robert B. France, Jean-Michel Bruel, Gopal K. Raghavan
Taming the Octopus: Using Formal Models to Integrate the Octopus Object Oriented Analysis Models
In : 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, August 1997.
Jean-Michel Bruel, Robert B. France, Bharat Chintapally, Gopal K. Raghavan
A Tool for Rigorous Analysis of Object Model
In : 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, -, July 1996.