E. Najm

发表

TRIUNE CONTINUUM PARADIGM: A PARADIGM FOR GENERAL SYSTEM MODELING AND ITS APPLICATIONS FOR UML AND RM-ODP

S. Spaccapietra, W. Frank, E. Najm, 2002 .

Reactive Spin and Promela

E. Najm, 1995 .