Title of article :
Life-cycle of a dual object-oriented specification model for real-time systems
Author/Authors :
M. A. Bruno، نويسنده , , P. Nesi، نويسنده ,
Issue Information :
ماهنامه با شماره پیاپی سال 1999
Keywords :
real-time systems , Development life-cycle , Dual model , Verification and validation , Object-oriented
Journal title :
Information and Software Technology
Journal title :
Information and Software Technology