LIBROS DEL AUTOR: naijun zhan

2 resultados para LIBROS DEL AUTOR: naijun zhan

naijun zhan Eliminar filtro Quitar filtros
  • Formal Verification of Simulink/Stateflow Diagrams
    Hengjun Zhao / Naijun Zhan / Shuling Wang
    This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and some impressive, realistic case studies.  Readers will learn the HCSP/HHL-based deductive method and the use of correspondin...
    Disponible

    160,80 €

  • Formal Verification of Simulink/Stateflow Diagrams
    Hengjun Zhao / Naijun Zhan / Shuling Wang
    This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and some impressive, realistic case studies.  Readers will learn the HCSP/HHL-based deductive method and the use of correspondin...
    Disponible

    159,45 €