動画再生
必数百万ものシナリオをどのようにして作成するか?
テスト数の爆発的増大を避けるには?
テストの合格・不合格をどのように見分けるか?
必数百万ものシナリオをどのようにして作成するか?
テスト数の爆発的増大を避けるには?
テストの合格・不合格をどのように見分けるか?
Dr. Tino Teige
Oldenburg, Germany
Dr. Tino Teige
Oldenburg, Germany
Chief Research Director Innovation & Technology
Dr. Tino Teige holds a Diploma degree in Theoretical Computer Science from University of Rostock since 2005. From 2005 to 2012 he was a research assistent at the University of Oldenburg mainly working on formal methods. He received a doctoral degree in Computer Science in 2012 with a dissertation about verification of probabilistic systems. Since 2012 Dr. Tino Teige is with BTC Embedded Systems AG where he currently acts as Chief Research Engineer and Head of the Innovation & Technology Department, the latter being responsible for the application of formal methods in an industrial setting. In 2013 he was a visiting researcher at the University of Oxford.
Connect on LinkedIn私たちの製品を試してみたいと思っていただけたのであれば、喜んで無償の評価用ライセンスを発行致します。御希望であれば評価に無償のツールトレーニングもお付けします。ツールトレーニングは他社と合同ではなく、あなた専用で行います。
質問をしてみたかったり、ツールが動いているところを見てみたいという方は下のリンクからミーティングをご予約ください。セールスエンジニアリングチームのメンバーが喜んでご対応致します。
あなたのメールアドレスはプライバシー認証を受けたニュースレターソフトウェアNewsletter2Goに送信されます。詳細は当社のプライバシーポリシーをご覧ください。
Discover some of the main features of our products in these short videos.
Copyright © 2022 BTC Embedded Systems & BTC Japan