Execution Environment for ELECTRE Applications

Denis Creusot, Philippe Lemoine, Olivier Roux, Yvon Trinquet, Antonio Kung, Olivier Marbach, Carlos Serrano-Morales. Execution Environment for ELECTRE Applications. In Axel van Lamsweerde, Alfonso Fugetta, editors, ESEC 91, 3rd European Software Engineering Conference, Milan, Italy, October 21-24, 1991, Proceedings. Volume 550 of Lecture Notes in Computer Science, pages 147-165, Springer, 1991.

Authors

Denis Creusot

This author has not been identified. Look up 'Denis Creusot' in Google

Philippe Lemoine

This author has not been identified. Look up 'Philippe Lemoine' in Google

Olivier Roux

This author has not been identified. Look up 'Olivier Roux' in Google

Yvon Trinquet

This author has not been identified. Look up 'Yvon Trinquet' in Google

Antonio Kung

This author has not been identified. Look up 'Antonio Kung' in Google

Olivier Marbach

This author has not been identified. Look up 'Olivier Marbach' in Google

Carlos Serrano-Morales

This author has not been identified. Look up 'Carlos Serrano-Morales' in Google