P. Combes

发表

Correct Development of Real-Time Systems Ω MEGA Deliverable D 7 : FINAL PROJECT REPORT July 2005

S. Graf, M. Kyas, F. D. Boer, 2005 .

Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool

David Harel, Hillel Kugler, Pierre Combes, 2005, Software & Systems Modeling.

A Multi-service and Multi-protocol Validation Platform-Experimentation Results

Ana R. Cavalli, Fatiha Zaïdi, Wei Monin, 2004, TestCom.

Looking for Better Integration of Design and Performance Engineering

Wei Monin, Daniel Vincent, Fabrice Dubois, 2003, SDL Forum.