Graics, Bence

Graics, Bence  

ES  

Mostra records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.003 secondi).
Titolo Data di pubblicazione Autore(i) File
Towards the Formal Verification of SysML v2 Models 1-gen-2024 Molnár, Vince; Graics, Bence; Vörös, András; Tonetta, Stefano; Cristoforetti, Luca; Kimberly, Greg; Dyer, Pamela; Giammarco, Kristin; Koethe, Manfred; Hester, John; Smith, Jamie; Grimm, Christoph