LIBROS DEL AUTOR: farn wang

2 resultados para LIBROS DEL AUTOR: farn wang

farn wang Eliminar filtro Quitar filtros
  • Formal Techniques for Networked and Distributed Systems - FORTE 2005
    Farn Wang
    FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee 6 (TC6) of the International Fed- ation for InformationProcessing (IFIP).The conferenceseries started in 1981underthe name PSTV (ProtocolSpeci?cation, Testing, and Veri?cation).In 1988,a second series under the name FORTE was st...
    Disponible

    132,56 €

  • Automated Technology for Verification and Analysis
    Farn Wang
    It was our great pleasure to hold the 2nd International Symposium onAutomated Te- nology on Veri?cation and Analysis (ATVA) in Taipei, Taiwan, ROC, October 31- November3,2004.TheseriesofATVAmeetingsisintendedforthepromotionofrelated research in eastern Asia. In the last decade, automated technology on veri?cation has become the new strength in industr...
    Disponible

    132,82 €