Stefano Tonetta

複雑なソフトウェアシステムの検証におけるハイパープロパティの役割を探る。

信頼性のあるリアルタイムシステムのパフォーマンスを監視する技術についての考察。