首页> 外文OA文献 >Duration Calculus of Weakly Monotonic Time

【2h】

Duration Calculus of Weakly Monotonic Time

机译：弱单调时间的持续时间演算

页面导航

著录项
相似文献
相关主题

著录项

作者
Paritosh K. Pandya; Dang Van Hung;
展开▼
作者单位

展开▼
年度 1997
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Unifying proof methodologies of duration calculus and timed linear temporal logic [J] . Zhiming Liu, Anders P. Ravn, Xiaoshan Li Formal Aspects of Computing . 2004,第2期

机译：持续时间演算与定时线性时间逻辑的统一证明方法
2. Towards a Denotational Semantics of Timed RSL Using Duration Calculus [J] . LI Li Journal of Computer Science & Technology . 2001,第1期

机译：使用持续时间微积分实现定时RSL的指称语义
3. Towards a Denotational Semantics of Timed RSL Using Duration Calculus [J] . Li Li Journal of Computer Science & Technology . 2001,第1期

机译：使用持续时间微积分实现定时RSL的指称语义
4. Duration calculus of weakly monotonic time [C] . P.K.Pandya, Dang Van Hung International symposium on formal techniques in real-time and fault-tolerant systems . 1998

机译：弱单调时间的持续时间微积分
5. A lambda calculus for monotonicity reasoning. [D] . Tune, William Lee. 2016

机译：单调推理的λ演算。
6. Women 1.5 Times More Likely to Leave STEM Pipeline after Calculus Compared to Men: Lack of Mathematical Confidence a Potential Culprit [O] . Jessica Ellis, Bailey K. Fosdick, Chris Rasmussen -1

机译：与男性相比女性在进行微积分后离开STEM管道的可能性是男性的1.5倍：缺乏数学上的信心是潜在的罪魁祸首
7. Towards a Denotational Semantics of Timed RSL using Duration Calculus [O] . Li Li, He Jifeng 1999

机译：使用持续时间演算来实现定时RsL的指称语义
8. Truth of Duration Calculus Formulae in Timed Frames; Software engineering rept [R] . Middelburg, C. A. 1998

机译：时间框架中持续时间微积分公式的真实性;软件工程部

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号