Kim Guldstrand Larsen

ランタイム検証がイベントトレースを通じてシステムのパフォーマンスをチェックする手助けをする方法を探ろう。

新しいフレームワークが正式な方法を使って自動運転車の安全性を向上させる。

パワーシステムにおける電圧管理の新しいアプローチとして、ガンベル整合性デジタルツインを使用。