• 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
  • Pages
    18
  • From page
    35
  • To page
    52
  • Keywords
    real-time systems , Development life-cycle , Dual model , Verification and validation , Object-oriented
  • Journal title
    Information and Software Technology
  • Serial Year
    1999
  • Journal title
    Information and Software Technology
  • Record number

    134592