63 followers
時間的・空間的特性の両方を考慮した、計算モデルの自動検証法を開発した。時系列データが時空の形式仕様を満たすか確率的に決定するもので、二つのケーススタディで表現性と効率性を検討。多次元・マルチスケールのモデル検査器への先駆である。 http://t.co/w3YkIuMNqw SK
時間的・空間的特性の両方を考慮した、計算モデルの自動検証法を開発した。時系列データが時空の形式仕様を満たすか確率的に決定するもので、二つのケーススタディで表現性と効率性を検討。多次元・マルチスケールのモデル検査器への先駆である。 http://t.co/w3YkIuMNqw SK
How do you validate a computational model of a system which evolves in time and space? We try to address this ... http://t.co/YA57Lb0raR
How do you validate a computational model of a system which evolves in time and space? We try to address this ... http://t.co/YA57Lb0raR
How do you validate a computational model of a system which evolves in time and space? We try to address this ... http://t.co/TfBsKQMJoK