Scholarlink

In the labyrinthine world of real-time systems, few names resonate as powerfully as that of Prof. Wang Yi. As the co-inventor of the UPPAAL model checker, alongside Prof. Kim G. Larsen and Prof. Paul Pettersson, Wang has charted new territories in computer science, setting a benchmark that stands as a testament to excellence.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Wang at MDU in a Nutshell

  • 章节

  • 发表日期：

    2025年

查看全文
  • Hans Hansson,
  • Christer Norström,
  • Cristina Seceleanu

摘要

In the labyrinthine world of real-time systems, few names resonate as powerfully as that of Prof. Wang Yi. As the co-inventor of the UPPAAL model checker, alongside Prof. Kim G. Larsen and Prof. Paul Pettersson, Wang has charted new territories in computer science, setting a benchmark that stands as a testament to excellence.