wird geladen
Sketch2DES: LLM-Workflow wandelt Warteschlangendiagramme in verifizierbare Simulationsmodelle · Lumeric