Suchergebnisse - Tang, Ruize

  • Treffer 1 - 2 von 2
Treffer weiter einschränken
  1. 1
    Buchumschlag

    Multi-Grained Specifications for Distributed System Model Checking and Verification von Ouyang, Lingzhi, Sun, Xudong, Tang, Ruize, Huang, Yu, Jivrajani, Madhav, Ma, Xiaoxing, Xu, Tianyin

    Veröffentlicht 2024
    Volltext
    Preprint

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Buchumschlag

    SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems von Cheng, Qian, Tang, Ruize, Ma, Emilie, Hackett, Finn, He, Peiyang, Su, Yiming, Beschastnikh, Ivan, Huang, Yu, Ma, Xiaoxing, Xu, Tianyin

    Veröffentlicht 2025
    Volltext
    Preprint

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: