JST科学技術用語日英対訳辞書

独立行政法人科学技術振興機構

duration calculus

継続期間計算
調べた例文を記録して、効率よく覚えましょう
Weblio会員無料で登録できます
履歴機能 過去に調べた単語を確認できる
語彙力診断 診断回数が4回に増加
マイ単語帳 便利な学習機能付き
マイ例文帳 文章で意味を理解できる
Weblio会員登録(無料)はこちらから▶

ウィキペディア英語版

出典：Wikipedia

Duration calculus

出典:『Wikipedia』 (2011/02/04 16:35 UTC 版)

英語による解説

ウィキペディア英語版からの引用
引用

Duration calculus (DC) is an interval logic for real-time systems. It was originally developed by Zhou Chaochen with the help of Anders P. Ravn and C. A. R. Hoare on the European ESPRIT Basic Research Action (BRA) ProCoS project on Provably Correct Systems.

閲覧履歴

全履歴クリア

・Duration calculus
・Isikuma
・jrca
・breaks edge
・blakleys
・signed book
・praelected
・MDU1
・hcl2
・Sakoa
単語帳に追加

Duration calculusのページの著作権