Sveriges mest populära poddar

Episode 41: Automated Reasoning for SysML v2 with Jamie Smith

41 min•11 november 2023

Om avsnittet

Tune in for a compelling discussion on the advancements in MBSE and the critical role of formal verification in designing deterministic and error-resistant systems.

Der Beitrag Episode 41: Automated Reasoning for SysML v2 with Jamie Smith erschien zuerst auf The MBSE Podcast.

Fler avsnitt

Episode 65: Scaling AI in Engineering with Alexander Krumm and Prof. Dr. Thomas Meenken

21 feb.42 min

Episode 64: Cameo Systems Modeler and SysML v2 with Andrius Armonas & Aurelijus Morkevicius

19 jan.55 min

Episode 63: Sysand – The SysML Package Manager with Juozas Vaicenavicius & Simonas Drauksas

11 dec. 202548 min

Episode 62: ODE4HERA with Francesco Torrigiani & Luca Boggero

10 nov. 202536 min

Episode 61: Starforge with Johannes Gross

5 okt. 2025

The MBSE Podcast med Tim & Christian finns tillgänglig på flera plattformar. Informationen på denna sida kommer från offentliga podd-flöden.

Episode 41: Automated Reasoning for SysML v2 with Jamie Smith

Om avsnittet

Fler avsnitt

Episode 70: OpenSysML with Chris Delp and Robert Karban

Episode 69: Why the Digital Thread must be active

Episode 68: SysModeler

Episode 67: MBSE around the World – Japan

Episode 66: SysML v2 Automatic Drawing with Brendan Madden

Episode 65: Scaling AI in Engineering with Alexander Krumm and Prof. Dr. Thomas Meenken

Episode 64: Cameo Systems Modeler and SysML v2 with Andrius Armonas & Aurelijus Morkevicius

Episode 63: Sysand – The SysML Package Manager with Juozas Vaicenavicius & Simonas Drauksas

Episode 62: ODE4HERA with Francesco Torrigiani & Luca Boggero

Episode 61: Starforge with Johannes Gross