GDPA  
/Suzuki, 1993/  

A-B-C-D-E-F-G-H-I-J-K-L-M-N-O-P-Q-R-S-T-U-V-W-X-Y-Z

Contents  
  • Identification
  • Author(s)
  • Congress/Conference/Publication
  • Related publications

    • Identification

    /Suzuki, 1993/
    A formal model of re-execution in software process

    Author(s)

    Suzuki, M.
    Iwai, A.
    Katayama, T.

    Congress/Conference/Publication

    ICSP2. Berlin, Germany. Feb, 1993.

    Related publications

    Elements of processes: Models
    Introduction to Formal Methods
    Formal Methods/Models

    GDPA Online Last Updated 25.May.2002 Updated by Webmaster Last Revised 25.May.2002 Revised by Webmaster